var Form1= new formDef('Form1',Form1_onSubmit,nullFunc);
/* client-side recordset */
var rs_users = new Recordset("rs_users", "Portal");
if (document.all) var Text1T25 = document.all.Text1T25;
if (document.all) var Text2T25 = document.all.Text2T25;
if (document.all) var Text3T25 = document.all.Text3T25;
if (document.all) var Instructions = document.all.Instructions;
if (document.all) var UserIDLabel = document.all.UserIDLabel;
var UserID= new editDef('UserID',29,1,nullFunc,nullFunc,nullFunc);
if (document.all) var PasswordLabel = document.all.PasswordLabel;
var Password= new editDef('Password',29,1,nullFunc,nullFunc,nullFunc);
var LoginButton= new fButtonDef('LoginButton',nullFunc);