function do_login(){
	var form1 = document.forms.login_form;;
	var ok = 1;
	if ((form1.user.value == "")||(form1.user.value == "username")){
		alert("Please enter your username.");
		form1.user.focus();
		ok = 0;
		return;
	}
	if ((form1.pass.value == "")||(form1.pass.value == "password")){
		alert("Please enter your password.");
		form1.pass.focus();
		ok = 0;
		return;
	}
	if (ok == 1){
		form1.submit();
	}
}
