// JavaScript Document
function AddDomain() {
	var t=Math.random() * 100000000;
	document.login_mail.action=document.login_mail.action+"?token="+t;
  if(document.login_mail.LoginName.value.indexOf("@") == -1)
        document.login_mail.LoginName.value = document.login_mail.LoginName.value + "@" + "dzu.edu.cn";
}