function em()
{
	var name1 = "inf";
	var name2 = "o"; 
	var dom1 = "hotel-win";
	var dom2 = "tergarten.de";
	document.write('E-Mail: '); 
	document.write('<a href="mai' + 'lto:' + name1 + name2 + '@' + dom1 + dom2 + '">');
	document.write(name1 + name2 + '@' + dom1 + dom2 + '</a>'); 
}