function doHover(){
	if(!document.all || !document.getElementsByTagName || !document.getElementById) return;
	var ul = document.getElementById('menu'); if(!ul) return;
	var as = ul.getElementsByTagName('a');
	for(var i = 0; i < as.length; i++){
		var a = as[i];
		a.onmouseover = function(){this.className += " over";}
		a.onmouseout = function(){this.className = this.className.replace(" over","");}
	}
}
if (window.attachEvent && document.all) window.attachEvent("onload", doHover);//numai ie stie de attachEvent (si Opera)