function mapswitch(area) {
  
    document.getElementById('map').style.backgroundImage = 'url(img/map_' + area + '.gif)';
return true;
}

var newwindow;
function pressowin(url) {
    newwindow = window.open(url, 'name', 'height=300,width=300', 'resizable=false', 'toolbar=false');
    if (window.focus) { newwindow.focus() }
}