var indexSectionsWithContent =
{
  0: "!dhmrs",
  1: "!dmr",
  2: "m",
  3: "dhs"
};

var indexSectionNames =
{
  0: "all",
  1: "files",
  2: "functions",
  3: "pages"
};

var indexSectionLabels =
{
  0: "All",
  1: "Files",
  2: "Functions",
  3: "Pages"
};

