function WriteSectionNav()
{
  // empty for now
}