function openclose(){
var temp=document.all.menu.style
if (temp.visibility=="hidden")
temp.visibility="visible"
else
temp.visibility="hidden"
}


function hideit(){
var temp=menu.style
temp.visibility="hidden"
}

if (document.all)
document.onclick=hideit

function highlight1(){
if (event.srcElement.id.charAt(0)=='m')
event.srcElement.style.backgroundColor='lightblue'
}

function highlight2(){
if (event.srcElement.id.charAt(0)=='m')
event.srcElement.style.backgroundColor='E3FEFF'
}

function warp(){
var temp=event.srcElement.id
if (temp.charAt(0)=='m')
window.location=itemlinks[temp.substring(1,temp.length)]
}