function box_einblenden (datei) {
  document.getElementById("dark").style.visibility = "visible";
  document.getElementById("big_box").style.visibility = "visible";
  document.getElementById("bild").src = "pics/"+datei+".jpg";
  scroll(0,0);
}

function box_ausblenden () {
  document.getElementById("dark").style.visibility = "hidden";
  document.getElementById("big_box").style.visibility = "hidden";
}

function box_einblenden_frame (datei) {
  document.getElementById("dark").style.visibility = "visible";
  document.getElementById("big_box_frame").style.visibility = "visible";
  document.getElementById("bild").src = "pics/"+datei+".jpg";
  scroll(0,0);
}

function box_ausblenden_frame () {
  document.getElementById("dark").style.visibility = "hidden";
  document.getElementById("big_box_frame").style.visibility = "hidden";
}