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=="li") {alert("node");
				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() {}