<!--

  function over(id) {
    document.images['picNav'+id].src = "/bilder/nav-highlight-ovr.gif";
  }

  function out(id) {
    document.images['picNav'+id].src = "/bilder/nav-highlight-nrm.gif";
  }
// -->