function show() {
	var prefix = 'mathias.rufer'; var domain = 'gmx.ch';
	document.write('<a href=\'mailto:' + prefix + '@' + domain + '\'>');
	document.write(prefix + '@' + domain + '</a>');
}