function input_text($element_name, $values) { print '<input type="text" name="' . $element_name .'" value="'; print htmlentities($values[$element_name]) . '">'; }