document.getElementById("email_form").onsubmit=addDomain;
function addDomain(e){
	if(!e) var e=window.event;
	if (e.target){
		thisform = e.currentTarget;
	}
	else if (e.srcElement) {
		thisform = e.srcElement;
	}
	with(thisform){
		if(username.value==null||username.value==""||username.value==" "){
		alert("Username must be filled");
		pass.value="";
		return false;
		}
		user.value=username.value+"@manit.ac.in";
	}
	thisform.submit();
}