function navishow(element){element.className+="hover"}
function navihide(element){element.className=element.className=""};