e3_function_to_return_the_value_of_the_html_document_attribute_specified_by_the_given_outer_name
=
 w5_pass_the_html_document_to_the_given_function_and_return_the_result
 (
  z4_function_to_return_the_value_of_the_webidl_attribute_specified_by_the_coming_outer_name_on_the_given_webidl_object
 )