// JavaScript Document
function doHover(id){
	o = document.getElementById(id);
	if (o.className.indexOf("_hover") == -1)
		o.className += "_hover";
}
function delHover(id){
	o = document.getElementById(id);
	o.className = o.className.replace("_hover", "");
}