function doMenu(classid){document.getElementById("Menu").setAttribute("class", classid);document.getElementById("Menu").setAttribute("className", classid);}