function setPicture(pic, w, h){
  if(pic == "")
    return;
  bild = document.getElementById("dasBild");
  bild.width = 0;
  bild.height = 0;
  bild.src = pic;
  bild.onload = function(){
    bild.width = w;
    bild.height = h;
  }
}

function doStandort(ort){
  if(ort != "kitz" && ort != "zillertal")
    ort = "ibk";
  
  a = document.getElementById("ibk");
  b = document.getElementById("kitz");
  c = document.getElementById("zillertal");
  
  a.style.display = "none";
  b.style.display = "none";
  c.style.display = "none";
  
  if(document.getElementById(ort))
    document.getElementById(ort).style.display = "block";
}