/**
  * The content of the heading of the page.
  *
  * You could override this to change the heading in the masthead of
  * a page.
  */
 protected function get_body_div_header_heading_content()
 {
     $home_link = new HTMLTags_A($this->get_body_div_header_link_content());
     $home_link->set_id('home_link');
     $home_link->set_href(new HTMLTags_URL('/'));
     return $home_link->get_as_string();
 }