function maskMail() {
	var name = "shakes-beer";
	var domain = "gmx.de";
	document.write('<a href=\"mailto:' + name + '@' + domain + '\" class=\"text\">');
	document.write(name + '@' + domain + '</a>');
}

function maskMail_w4s() {
	var name = "mail";
	var domain = "web4saar.de";
	document.write('<a href=\"mailto:' + name + '@' + domain + '\" class=\"text\">');
	document.write(name + '@' + domain + '</a>');
}