function mailid(arg) {
  document.write(arg);
    document.write("@ieor.berkeley.edu");
	}