var page = "";

	
	function body_onload()
	{
		// used to make the current page's menu item white
		var mymenuitem;
		mymenuitem = document.getElementById(page);
		mymenuitem.style.color = "#FFFFFF";
	}