window.onload = function() {
	for (var i = 0; i < document.getElementsByTagName('tr').length; i++) {
		document.getElementsByTagName('tr')[i].onmouseover = function() {this.className += ' hover';}
		document.getElementsByTagName('tr')[i].onmouseout = function() {this.className = this.className.replace(/\bhover\b/,'');}
	}
}
