function write_domain() { //bots 'll have to interpret both document.write and function calls properly to get adress.
    for(var i=0; i<1; ++i) {
	document.write('dustlab.c');
	document.write('om');
    }
}
function write_adr() {
    document.write('support');
    document.write('&#64;');
    write_domain();
}
function write_maillink(linktext) {
document.write('<a href="');
document.write('mai');
document.write('lto:');
write_adr();
document.write('">');
document.write(linktext);
document.write('</a>');
}
