function showmenu(elmnt) {
	document.getElementById(elmnt).style.background="url(/i/menu_bg1.gif)";
	document.getElementById('a_'+elmnt).style.color="#D01111";
}
function hidemenu(elmnt) {
	document.getElementById(elmnt).style.background="none";
	document.getElementById('a_'+elmnt).style.color="#446AAC";
}
function active(elmnt) {
	document.getElementById(elmnt).style.background="url(/i/menu_bg2.gif)";
	document.getElementById('a_'+elmnt).style.color="#446AAC";
}