function Entschlüsseln(Host, User, Titel)
{
	var Adresse = User + "@" + Host;
	document.write("<a href=\"mailto:" + Adresse.replace(/,\*,/gi,"\x40").replace(/,\+,/gi,".").replace(/,=,/gi,"_") + "\">" + Titel + "</a>");
}