function getCheckedValue(button) { // button is the pointer to the form radio. e.g., myForm.myRadio
	var val;
	if (button.length) {
		for (var ii=0;ii<button.length;ii++) {
			if (button[ii].checked) return button[ii].value;
		}
	} else {
		if (button.checked) return button.value;
	}
}