'; foreach($options as $opt) echo ''.$optionsTxt["$opt"].''; echo ''; echo ''; } ?>