function enlarge_font(newsize) {
	//Set a cookie for the font size, expires in 60 days
	setCookie('fontsize', newsize, 60);
	//Then set the font size.
	if (newsize == 'larger') setLargerFont();
 	else if (newsize == 'largest' ) setLargestFont();
 	else setNormalFont();
}

function setNormalFont() {
	document.getElementById("fontsize_normal").style.textDecoration="underline";
	document.getElementById("fontsize_larger").style.textDecoration="none";
	document.getElementById("fontsize_largest").style.textDecoration="none";
	document.body.style.fontSize = "12px";
}

function setLargerFont() {
	document.getElementById("fontsize_normal").style.textDecoration="none";
	document.getElementById("fontsize_larger").style.textDecoration="underline";
	document.getElementById("fontsize_largest").style.textDecoration="none";
	document.body.style.fontSize = "15px";
}

function setLargestFont() {
	document.getElementById("fontsize_normal").style.textDecoration="none";
	document.getElementById("fontsize_larger").style.textDecoration="none";
	document.getElementById("fontsize_largest").style.textDecoration="underline";
	document.body.style.fontSize = "19px";
}



function setCookie(c_name,value,expiredays)
{
var exdate=new Date();
exdate.setDate(exdate.getDate()+expiredays);
document.cookie=c_name+ "=" +escape(value)+
((expiredays==null) ? "" : ";expires="+exdate.toGMTString());
}

function checkCookie()
{
username=getCookie('username');
if (username!=null && username!="")
  {
  alert('Welcome again '+username+'!');
  }
  else 
  {
  username=prompt('Please enter your name:',"");
  if (username!=null && username!="")
    {
    setCookie('username',username,365);
    }
  }
}

function launchmap() {
	myWindow = window.open("map.php", "Map", "height=700,width=625,directories=0,scrolling=0,resizable=0,status=0,titlebar=0,titlebar=0,toolbar=0");
}