// display or hide menus
function hide(menu){
	var currentMenu=document.getElementById(menu);
	currentMenu.style.display="none";
}
function hideAll(){
hide("menu1");
hide("menu2");
hide("menu3");
hide("menu4");
hide("menu5");
}
function display(menu){
	hideAll();
	var currentMenu=document.getElementById(menu);
	currentMenu.style.display="block";	
}
function imgFocus(img)
{
	var curImg = document.getElementById(img);
	var curSrc = currentImg.src; 
	if (curSrc.indexOf("_small") < 0) 
	{
		curImg.src = curSrc.replace("_small","");
	}
}