timer = 0;

function showMap()
{
	document.getElementById("map").style.visibility = "visible";
	if(timer == 1)
	{
		clearTimeout(vanish);
		timer = 0;
	}
}
	
function hideMap()
{
	vanish = window.setTimeout("document.getElementById('map').style.visibility = 'hidden'", 400);
	timer = 1;	
}