function mail(name, clazz) {
	var domain = "vht-darmstadt.de";
	var email = name+"@"+domain;
	var opt = (clazz == undefined) ? "" : " class=\""+clazz+"\"";
	document.write("<a href=\"mailto:"+email+"\""+opt+">"+email+"</a>");
}

function mailITL(name, clazz) {
	var domain = "itl-darmstadt.de";
	var email = name+"@"+domain;
	var opt = (clazz == undefined) ? "" : " class=\""+clazz+"\"";
	document.write("<a href=\"mailto:"+email+"\""+opt+">"+email+"</a>");
}

function mailStahl(name, clazz) {
	var domain = "stahl-info.de";
	var email = name+"@"+domain;
	var opt = (clazz == undefined) ? "" : " class=\""+clazz+"\"";
	document.write("<a href=\"mailto:"+email+"\""+opt+">"+email+"</a>");
}