function decode(text2, text3) {
      document.write('@' + text2 + '.' + text3);
	  }