function decode(text2, text3) {
      document.write('@' + text2 + '.' + text3);
	  }
function mailto(text2, text3, text4) {
      document.write('<a href="mailto:' + text4 + '@' + text2 + '.' + text3 + '">' + text4 + '@' + text2 + '.' + text3 + '</a>');
	  }