var buttons = new Array();function buttonHovers() {	
	var elements = document.getElementsByTagName('input');
	var j = 0;
	for (var i5 = 0; i5 < elements.length; i5++) {
		if(elements[i5].type=='submit') {
			buttons[j] = elements[i5];
			++j;
		}
	}
	for (var i5 = 0; i5 < buttons.length; i5++) {
		buttons[i5].onmouseover = function() {this.className += "Hovered";
	}
	buttons[i5].onmouseout = function() {this.className = this.className.replace(/Hovered/g, "");}	
	}
}

window.onload = buttonHovers;