var TITEMS = [ 
 ["Index", "source/index.html", "11"],
 ["Topics", null, "1",
  ["General information", "source/gen.html", "17"],
  ["General information", null, "1",
   ["About", "source/gen_about.html", "11"],
   ["Installation", "source/gen_installation.html", "11"],
   ["Legal agreement", "source/gen_legalagreement.html", "11"],
   ["History", "source/gen_history.html", "11"]
  ],
  ["Operation", "source/opr.html", "11"]
 ],
 ["Internet links", null, "1",
  ["VanDerLee site", "http://www.vanderlee.com", "15"],
  ["E-mail: Support", "mailto:support@vanderlee.com", "13"]
 ]
];


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;
}