function nav(menuid){
ul = document.getElementById(menuid);
liNodes = ul.getElementsByTagName("li");
for(i=0;i<liNodes.length;i++){
	str=liNodes[i].className;
	x=/selected/gi;
	if(str.match(x)){
		ul.getElementsByTagName("a")[i].className = "markthis";
	}
}
}