var TITEMS = [ 
 ["Introduction", "intro.html", "11"],
 ["System requirements", "requrements.html", "11"],
 ["Installation, Update, Deletion", "install.html", "11"],
 ["Registration", "registration.html", "11"],
 ["Licensing", "licensing.html", "11"],
 ["Administration Module", "console.html", "1",
  ["Connection Password Setup", "connection_setup.html", "11"],
  ["Managing Statistics Database", "database.html", "11"],
  ["Users and Groups", "users.html", "11"],
  ["DNS Setup", "dns_settings.html", "11"],
  ["Traffic Control Rules", "traffic_rules.html", "11"],
  ["Exception List", "exclusions_request.html", "11"],
  ["Website Categories", "url_categories.html", "11"],
  ["Access Log and Request Statistics", "access_log.html", "11"],
  ["Statistics by Category", "category_statistics.html", "11"],
  ["Popular Categories", "popular_category.html", "11"],
  ["Declining DNS Requests", "discard_dns.html", "11"]
 ],
 ["Deployment Options", "dns_variants.html", "11"],
 ["Displaying Debug Information", "additional_information.html", "11"]
];


var FITEMS = arr_flatten(TITEMS);

function arr_flatten (x) {
   var y = []; if (x == null) return y;
   for (var i=0; i<x.length; i++) {
      if (typeof(x[i]) == "object") {
         var flat = arr_flatten(x[i]);
         for (var j=0; j<flat.length; j++)
             y[y.length]=flat[j];
      } else {
         if ((i%3==0))
          y[y.length]=x[i+1];
      }
   }
   return y;
}