vm0ob = new Image(); 
  vm0ob.src = "images/menu00.gif"; 
  vm0u = new Image(); 
  vm0u.src = "images/menu00a.gif";

  function Picdown(bild)
  { 
    wechsel = eval(bild + "ob.src"); 
    document[bild].src = wechsel;
    return true;
  }

  function Picup(bild) 
  { 
    wechsel = eval(bild + "u.src");
    document[bild].src = wechsel;
    return true;
  }