function menu_mouseover(){
		document.getElementById("2").style.display="";
		document.getElementById("knowledge_link").style.backgroundPosition="0 -35px";
	 }
	 function menu_mouseout(){
		document.getElementById("2").style.display="none";
		document.getElementById("knowledge_link").style.backgroundPosition="0 0px";
	 }