function writeE(u, e) {
	document.write('<a href="mailto:'+u+'@distab.'+e+'">'+u+'@distab.'+e+'</a>')
}