function mailtodot(adr_s, adr_t, adr_l) 

{	
var dom = "hhenschel.de";

// adr_s - Mail Address without domain
// adr_t - address extension after dot
// adr_l - Text appearing on site

document.write('<a href=\"mailto:' + adr_s + '.' + adr_t + '@' + dom + '\">');
document.write(adr_l + '</a>');
}