// JavaScript Document
function changeMenu(menuName)
	{
		document.getElementById(menuName).className="menuOn"
	}