function setmenu(){var a=$$("li");a[0].set("class","first");a[a.length-1].set("class","last");for(var b=0;b<a.length;b++){if(new RegExp(a[b].getElement("a").get("href")).test(location.href)){a[b].getElement("a").set("class","selected");break}}};