function hoverThis(theButton){
	if (theButton.className.indexOf("_hover") == -1) {
		theButton.className=theButton.className + "_hover";
	}
}
    	
		
function unHoverThis(theButton){
	if (theButton.className.indexOf("_hover") != -1) {
		theButton.className=theButton.className.replace("_hover", "");
	}
}