function print_email(mail_name,mail_domain,link_name,mail_params) // Formatiert Email-Adressen zur Ausgabe: Javascript wird kaum von Spidern durchsucht!
{
	document.write('\<a href=\"mailto:' + mail_name + '@' + mail_domain + mail_params + '" class=\"textlink\">');
	document.write(link_name + '</a>');
}