function js_mailto(user,domain){
	document.location="mailto:"+user+"@"+domain;
}