function Mail(USER, DOMAIN, TXT){
  if(typeof(DOMAIN) == 'undefined' || DOMAIN == ''){DOMAIN = 'digitalvisions.ch';}
  var MAIL = USER + '&#64;' + DOMAIN;
  if(typeof(TXT) == 'undefined' || TXT == ''){TXT = MAIL;}
  document.write('<a href=\"&#109;&#97;&#105;&#108;&#116;&#111;:' + MAIL + '\">' + TXT +'</a>');
}