function button_over(eButton){
		if (eButton.style.borderBottom != "buttonhighlight 1px solid")
		{
		 eButton.style.border = "ButtonShadow  solid 1px";
		eButton.style.borderBottom = "ButtonShadow solid 1px";
		eButton.style.borderLeft = "ButtonHighlight solid 1px";
		eButton.style.borderRight = "ButtonShadow solid 1px";
		eButton.style.borderTop = "ButtonHighlight solid 1px";
		eButton.style.backgroundColor = "ButtonFace";
		}
	}
	function button_out(eButton){
		eButton.style.borderColor = "ButtonFace";
		eButton.style.backgroundColor = "ButtonFace";
	}
	function button_down(eButton){
		eButton.style.borderBottom = "ButtonHighlight solid 1px";
		eButton.style.borderLeft = "ButtonShadow solid 1px";
		eButton.style.borderRight = "ButtonHighlight solid 1px";
		eButton.style.borderTop = "ButtonShadow solid 1px";
	}