function over_navi(img_name)
{
 picname="images/" + img_name + "_aktiv.gif";
 docname="pic_" + img_name;
 document[docname].src = picname;
 return true;
}


function out_navi(img_name)
{
  picname="images/" + img_name + ".gif";
  docname="pic_" + img_name;
  document[docname].src = picname;
  return true; 
} 

 function NeuesFenster (url, w, h) {
  var groesse = "width=" + w + ",height=" + h + ", scrollbars=no";
  var popup = window.open(url,'nfu',groesse);
  popup.focus();
 }