function checkinput(form)
{
	var re = /^[A-Za-z]{2}(\d{4}|R\d+)$/;
	if (!re.test(form.user.value)) {
		alert("Invalid official.");
		return false;
	}

	var value = "";
	var elem = form.email;
	for (var i = 0; i < elem.length; i++)
		if (elem[i].checked) {
			value = elem[i].value;
			break;
		}
	if (value != "H" && value != "W") {
		alert("Invalid choice of email address.");
		return false;
	}

	return true;
}

function initfocus()
{
	var user = document.getElementById("user");
	user.focus();
}