function mail(benutzer) {
	user = benutzer;
	site = "hue.ch";
	if (user=="hzuercher") {site = "huenet.ch";}
	if (user=="dschmid") {site = "huenet.ch";}
	if (user=="inf") {site = "huenet.ch";user = "info";}

	document.write('<a href=\"mailto:' + user + '@' + site + '\"><span class="t13">');
	document.write(user + '@' + site + '</span></a>');
	}