function input_text($element_name, $values) { print ' print htmlentities($values[$element_name]) . '">';}