function initMenu(){
	if ((navigator.appName=="Microsoft Internet Explorer") || (navigator.appName=="Opera")) hover ();
}

function hover () {
	var tags = document.getElementById("menu").getElementsByTagName("div");
	for (var i=0, len=tags.length; i<len; i++) {
		if(tags[i].className=='button'){
			tags[i].onmouseover=function() { this.className+=" hover"; }
			tags[i].onmouseout=function() { this.className=this.className.replace(" hover", ""); }
		}
	}
}