//<!--
m_1=new Image();
m_1.src="images/menu_1.gif";
m_2=new Image();
m_2.src="images/menu_2.gif";
function menu_1(menu){
	menu.style.background="#bbbbbb url("+m_2.src+") repeat-y";
}
function menu_2(menu){
	menu.style.background="#ededed url("+m_1.src+") repeat-y";
}
function over(what,state){
	//var bgColor=what.borderColor;
	if(document.all||document.getElementById){//if IE 4+ or NS 6+
		if(state==1){
			what.style.borderColor="666666";
		}
		else{
			what.style.borderColor="ced3d9";
		}
	}
}
//-->