var TITEMS = [ 
 ["Overview", "source/welcome.htm", "2",
  ["Introducing Flexiblesoft Launcher", "source/welcome.htm", "9"],
  ["How to buy Flexiblesoft Launcher", "source/register.htm", "17"],
  ["Flexiblesoft company", "source/flexiblesoft.htm", "13"],
  ["What's new", "source/whatsnew.htm", "9"]
 ],
 ["Quick start", "source/quickstart.htm", "2",
  ["Begin work in 3 steps", "source/quickstart.htm", "9"]
 ],
 ["Flexiblesoft Launcher user interface", null, "2",
  ["Program overview", "source/overview.htm", "9"]
 ],
 ["Technical support", null, "2",
  ["Program support", "source/support.htm", "9"]
 ]
];


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