h2_return_a_new_hr_html_element_with_no_attributes
=
 x1_pass_the_local_name_of_the_hr_html_element_to_the_given_function_and_return_the_result
 (
  r9_function_to_return_a_new_html_element_with_no_attributes_and_with_the_given_outer_local_name
 )