minfo='info@jcmueller.de';
function info()
	{
	document.location.href="mailto:"+minfo;
	}