$option) {
if ($option != $vars['value']) {
$selected = "";
} else {
$selected = "checked = \"checked\"";
}
$labelint = (int) $label;
if ("{$label}" == "{$labelint}") {
$label = $option;
}
$disabled = "";
if ($vars['disabled']) $disabled = ' disabled="yes" ';
echo "
";
}
?>