function zeig_gross_bild ( bild_nummer ) {

  window.document.images[9].src = grosse_bilder [ bild_nummer ].src ; 

 if ( document.getElementById ) {
     block = document.getElementById("big_pics");
  } else {
    block = document.big_pics;
  }
  block.style.zIndex = 10 ; 
  block.style.top = 30 ; 
 
}


function versteck_gross_bild (  ) {

 if ( document.getElementById ) {
     block = document.getElementById("big_pics");
  } else {
    block = document.big_pics;
  }
  block.style.zIndex = 1 ; 
  block.style.top = -2000 ; 
 
}