function hoverOn(x){
	 x.style.backgroundColor ="#6677cc";
	 x.style.color ="#ffffff";
	 x.style.borderLeftColor ="#7799ee";
	 x.style.borderTopColor ="#7799ee";
	 x.style.borderBottomColor ="#444477";
	 x.style.borderRightColor ="#444477";
   }
   function hoverOff(x){
     x.style.backgroundColor = ""; 
	 x.style.color ="";
	 x.style.borderLeftColor ="";
	 x.style.borderTopColor ="";
	 x.style.borderBottomColor ="";
	 x.style.borderRightColor ="";
   }