var t, div1, color1, menu_id2, previous2;
function background_on(categ)
{
	document.getElementById(categ).style.backgroundColor="#4c6eb5";
	color1 = categ;
}

function background_off(categ)
{
	document.getElementById(categ).style.backgroundColor="#9cb6ee";
	
}

function showmenu(elmnt)
{
	 document.getElementById(elmnt).style.visibility="visible";
}

function hidemenu(elmnt)
{
	 document.getElementById(elmnt).style.visibility="hidden";
}