// JavaScript Document
<!--

function OpenEmail(box) 
{
  domain="sintpetrusleiden.nl";
  document.write("<a href=\"mailto:"+box+"@"+domain+"\">"+box+"@"+domain+"</a>"); 
}

function OpenEmail2(box) 
{
  domain="gmail.com";
  document.write("<a href=\"mailto:"+box+"@"+domain+"\">"+box+"@"+domain+"</a>"); 
}

//-->