function over(imgName) {
	//var x = document.getElementsById("+imgName+");
	//x.src = "/images/menu_"+imgName+"_over.png";
	document[imgName].src ="/images/menu_"+imgName+"_over.png";
}
function out(imgName) {
	document[imgName].src ="/images/menu_"+imgName+".png";
}