function changeImage(id, src) {
  var img = document.getElementById(id);
  img.src = src;
}

function druck(){
  parent.main.focus();
  self.print();
}

function MM_preload_img() { //v3.0
  var d=document; if(d._img){ if(!d.MM_p) d.MM_p=new Array();
  var i,j=d.MM_p.length,a=MM_preload_img.arguments; for(i=0; i<a.length; i++)
  if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}