<!---- vor alten Browsern verstecken
//
  pic1 = new Image(); pic1.src="../jpgs/sokr-g.jpg";
  pic2 = new Image(); pic2.src="../pics/angeb.gif";
  pic3 = new Image(); pic3.src="../pics/an-dia.gif";
function wechsel(picnr,picobj)
  {
     window.document.images[picnr].src = picobj.src;
     }
         //-->