function mailto(mail) {
	location.href="mailto:"+mail.replace("#","@");
}