function input_select($element_name, $selected, $options, $multiple = false) {
print ' if ($multiple) { print '[]" multiple="multiple'; }
print '">';
$selected_options = array();
if ($multiple) {
foreach ($selected[$element_name] as $val) {
$selected_options[$val] = true;
}
} else {
$selected_options[ $selected[$element_name] ] = true;
}
foreach ($options as $option => $label) {
print ' if ($selected_options[$option]) {
print ' selected="selected"';
}
print '>' . htmlentities($label) . '';
}
print '';
}