/* Dateiendung! Das ist momentan für GIF's!*/

function vertmenu_aus(name, dateityp)
{
 var bild   = new Image;
 bild.src = '/imglayout/btn_' + name + '.' + dateityp;
 window.document.images[name].src = bild.src;
}

function vertmenu_ein(name, dateityp)
 {
  var bild = new Image;
  bild.src = '/imglayout/btn_' + name + '_a.' + dateityp;
  window.document.images[name].src = bild.src;
 }