function mailTo(user) {
	var dn = 'dimas.ch';
	return '<a href="mailto:' + user + String.fromCharCode(32*2) + dn + '"><b>' + user + String.fromCharCode(16*4) + dn + '</b></a>';
}