var name = "mail";
var domain = "ralf-koechert.de";
document.write('<a href=\"mailto:' + name + '@' + domain + '\">');
document.write(name + '@' + domain + '</a>');

/* Funktionsdefinitionen mail_rk des Hauptverzeichnisses Status 14.07.2003*/
