// Bildwechsel bei den Portraet-Pics
function over(name)
 {
  window.document.images[name].src = "images/pic_"+name+"_h.gif";
 }
function out(name)
 {
  window.document.images[name].src = "images/pic_"+name+".gif";
 }

// Bildwechsel des Menues auf der INDEX
function menue_over(name)
 {
  window.document.images[name].src = "images/"+name+"_hover.gif";
 }
function menue_out(name)
 {
  window.document.images[name].src = "images/"+name+".gif";
 }

// PopUp's
function popup(name,breite,hoehe)
 {
  window.open(name+'.html',name,'width='+breite+',height='+hoehe+',resizable=yes');
 }