/* formDropDown - create an HTML \n"; $key = key($labels); while($key != "") { if ($key == $value) { $selected = "SELECTED"; } else { $selected = ""; } $html .= "