function rewrite() {

  var selectedbutton = document.forms['bildwechsel'].bsource
  var selectedbuttonvalue = selectedbutton.options[selectedbutton.selectedIndex].value;

  if ((selectedbuttonvalue.indexOf('.jpg') != -1) || (selectedbuttonvalue.indexOf('.gif') != -1)) {
    
    document.images.bild.src = "" + selectedbuttonvalue;
    document.images.bild.width=400;

  } else {
    
    document.images.bild.width=400;
    document.images.bild.src = "img/27_loch_gesamt.gif";

  }

}


function jumpbox(list) {

  location.href = list.options[list.selectedIndex].value

}