function input_textarea($element_name, $values) { print '<textarea name="' . $element_name .'">'; print htmlentities($values[$element_name]) . '</textarea>'; }