function mail1(name, text) {
	var domain = "sartorius-partner.de";
	var email = name+"@"+domain;
	if (text == undefined) text = email;
	document.write("<a href=\"mailto:"+email+"\">"+text+"</a>");
}
function mail2(name, text) {
	var domain = "sartorius-architekten.de";
	var email = name+"@"+domain;
	if (text == undefined) text = email;
	document.write("<a href=\"mailto:"+email+"\">"+text+"</a>");
}

function mail3(name, text) {
	var domain = "gmx.net";
	var email = name+"@"+domain;
	if (text == undefined) text = email;
	document.write("<a href=\"mailto:"+email+"\">"+text+"</a>");
}

function mail4(name, text) {
	var domain = "sartorius-immobilien.de";
	var email = name+"@"+domain;
	if (text == undefined) text = email;
	document.write("<a href=\"mailto:"+email+"\">"+text+"</a>");
}