function navMouseOver(what) {
  if(!Element.hasClassName(what,'selected'))
    Element.setStyle(what,{opacity:0.5});
}
function navMouseOut(what) {
  if(!Element.hasClassName(what,'selected'))
    Element.setStyle(what,{opacity:1.0});
}