// bildtausch:
function bilderladen() {
if(document.images)
	{drucken_sign= new Image();
	 drucken_sign.src= "/fileadmin/images/drucken.gif";
	 drucken_sign_hi= new Image();
	 drucken_sign_hi.src= "/fileadmin/images/drucken_hi.gif";
	}
 }
   
 function bildtausch(name,neu)
 {
 if(document.images)
	{document.images[name].src= neu.src;
	}
 }


// print_fenster:
function druck(URL)
{	
	printvar = window.open(URL,"printwin","width=655,height=450,screenX=150,screenY=100,resizable=no,scrollbars=yes,menubar=yes,status=yes");
	window.printvar.focus();
}