startList = function() {
	//if (document.all&&document.getElementById) {
		cssdropdownRoot = document.getElementById("menu1");
		for (x=0; x<cssdropdownRoot.childNodes.length; x++) {
			node = cssdropdownRoot.childNodes[x];
			if (node.nodeName.toLowerCase()=="li") {
				node.onmouseover=function() {
				this.className+=" over";
				}
				node.onmouseout=function() {
					this.className=this.className.replace(" over", "");
				}
			}
		}
	//}
}
if (window.attachEvent) {
    window.attachEvent("onload", startList)
} else {
    window.onload=startList;
}
/* Se ejecuta al pinchar en la familia raíz
Función no necesaria para este menú, pero incluída aquí para que no dé error JS*/
function menu() {}