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