function mailto(username)
	{
		document.write('\<a href=\"mailto:' + username + '@s-o-l.ch\"\>' + username + '@s-o-l.ch\<\/a\>');
	}