function menulink(text,opt){
	var x="<a href='#"+opt+"' onclick='return displayPage(";
	x=x+'"'+opt+'"';
	x=x+")'; onkeypress='return displayPage(";
	x=x+'"'+opt+'"';
	x=x+");'>"+text+"</a>";
	document.write(x);
}


function menuitem(opt,text,page)
{
if (opt!=page)
 { menulink(text,opt)} else { document.write('<span>'+text+'</span>') };
}