<!--
function mail(user,domain) {
  	locationstring = "mailto:" + user + "@" + domain;
  	window.location = locationstring;
}
//-->