function option($select, $value, $text, $selected = null) {
echo " <option value=\"$value\"";
if (! isset($selected)) $selected = $_POST[$select];
+ if (! isset($selected)) $selected = get_last_selected($select);
if ($value == $selected) echo " selected";
echo ">$text\n";
}