// Email-Verschlüsselung
function setMailLink(an,domain) {
	var An = an;
	var Dn = domain;

	var LinkText = An + "@" + Dn ;
  //document.open();
  document.write("<a title=Mail href=\"mailto:" + LinkText + "\" class=mail>" + LinkText + "</a>");
  //document.close();
}







// 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;
	}
 }