// Checks if it is the top-level window and sets the right site if so.
function checkTop(){
  if(top!=self){
    top.location=self.location;
  }
}

// Shows the element with the given id.
function show(id){
  document.getElementById(element).style.display="inline";
}

// Hides the element with the given id.
function hide(id){
  document.getElementById(element).style.display="none";
}

// Loads the image with the id='anzeige' with the given source.
function ladeBild(image){
  document.getElementById('anzeige').src = image.src.replace(/_thumb/, "");
  document.getElementById('anzeige').alt = image.alt;
  document.getElementById('anzeige').title = image.alt;
}