// JavaScript Document

function mailto_link(user, domain){
	var glue = '@';
	document.location.href = 'mailto:' + user + glue + domain;
}