print header(),
      start_html,
      hr, h1("Heading"), hr,
      end_html;