# returns what the user sees in the pulldown or on the radio button caption
function enc_pulled($str, $name) {
if(!isset($GLOBALS[$name . '_options'])) {
# returns what the user sees in the pulldown or on the radio button caption
function enc_pulled($str, $name) {
if(!isset($GLOBALS[$name . '_options'])) {