function hover(id,name){
	document.getElementById(id).className = name + "_hover";
}

function dehover(id,name){
	document.getElementById(id).className = name;
}