// REPLACES IMAGEMAP CALLED 'themap' with whatever IMG is passed in
function swapMap(whichMap) {
myvar = document.getElementById('themap');
myvar.src = '/nav-graphics/' + whichMap;
}

// PUTS BACK ORIGINAL MAP called 'nav-map.gif'
function swapMapBack() {
myvar = document.getElementById('themap');
myvar.src = '/nav-graphics/nav-map.gif';
}