function write_email(email) {
	email=email.replace(/_at_/,"@");
	email=email.replace(/_dot_/,".");
  document.write(email);
}