function getpaulsmail()
{
  mail='paul';
  mail=mail+'@';
  mail=mail+'notplanetgis.co.zax';
  return(mail.substr(0,5)+mail.substr(8,15));
}
function mailpaul()
{
  window.open('mailto:'+getpaulsmail());
}
function writemailpaul()
{
  document.write('<a href="mailto:'+getpaulsmail()+'">'+getpaulsmail()+'</a>');
}