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