// JavaScript Document

function over(x){
	document.getElementById("h"+x).className = "green";
	document.getElementById("a"+x).className = "white";
}
function out(x){
	document.getElementById("h"+x).className = "";
	document.getElementById("a"+x).className = "";
}