function SubmitForm() {

// check if userid field is a number
var string = document.login.userid.value
if (!string.length == 0)
{
	for (var i=0;i < string.length;i++)
		if ((string.substring(i,i+1) < '0') || (string.substring(i,i+1) > '9'))
	{
		alert("The User ID is a number.");
		document.login.userid.focus();
		return (false);
	}
	return true;
}

}