var permanent=0;

function show(mapid){
  if (document.getElementById(mapid) && permanent==0) {
  	document.getElementById(mapid).style.display='block';
	}
}

function hide(mapid){
  if (document.getElementById(mapid) && permanent==0) {
  	document.getElementById(mapid).style.display='none';
	}
}

function makeperm(mapid){
  if (permanent==0) {
  	permanent=1;
	}
  else {
    permanent=0;
	}
}