+
+function formtext_hilite(obj)
+{
+ obj.className = 'input_text';
+ addEvent(obj, "focus", function () { this.className = 'input_text_hi'; });
+ addEvent(obj, "blur", function () { this.className = 'input_text'; });
+}
+
+function formsub_hilite(obj)
+{
+ obj.className = 'input_sub';
+ addEvent(obj, "focus", function () { this.className = 'input_sub_hi'; });
+ addEvent(obj, "blur", function () { this.className = 'input_sub'; });
+}
+
+// return the value of the radio button that is checked
+// return an empty string if none are checked, or
+// there are no radio buttons
+function get_checked_value(radioObj) {
+ if(!radioObj)
+ return "";
+ var radioLength = radioObj.length;
+ if(radioLength == undefined)
+ if(radioObj.checked)
+ return radioObj.value;
+ else
+ return "";
+ for(var i = 0; i < radioLength; i++) {
+ if(radioObj[i].checked) {
+ return radioObj[i].value;
+ }
+ }
+ return "";
+}
+
+// set the radio button with the given value as being checked
+// do nothing if there are no radio buttons
+// if the given value does not exist, all the radio buttons
+// are reset to unchecked
+function set_checked_value(radioObj, newValue) {
+ if(!radioObj)
+ return;
+ var radioLength = radioObj.length;
+ if(radioLength == undefined) {
+ radioObj.checked = (radioObj.value == newValue.toString());
+ return;
+ }
+ for(var i = 0; i < radioLength; i++) {
+ radioObj[i].checked = false;
+ if(radioObj[i].value == newValue.toString()) {
+ radioObj[i].checked = true;
+ }
+ }
+}