function bildtausch(bildname,austauschbild)
	{
	eval('document.getElementById("' + bildname + '").src = "' + austauschbild + '";');
	}


function atersetzen(domain,user)
	{
	location.href = "mailto:" + user + "@" + domain;
	}