// JavaScript Document

function setMenu(menuNumber)
{
	/*
	var i=0;
	for(i=0; i<12; i++)
	{
		document.getElementById("menu" + i).style.borderBottom = "hidden";	
	}
	*/
	document.getElementById("menu" + menuNumber).style.borderBottom = "solid";
	document.getElementById("menu" + menuNumber).style.borderColor = "#ffffff";
	
}