var TITEMS = [ 
 ["What is PGPNotes?", "html/intro.html", "11"],
 ["Features", "html/features.html", "11"],
 ["System requirements", "html/sysreq.html", "11"],
 ["Installing PGPNotes", null, "1",
  ["Program installation", "html/installation/windows.html", "11"],
  ["Configuring Notes R4", null, "1",
   ["Personal installation", "html/installation/notesr4-personal.html", "11"],
   ["Server installation", "html/installation/notesr4-server.html", "11"]
  ],
  ["Configuring Notes R5", null, "1",
   ["Personal installation", "html/installation/notesr5-personal.html", "11"],
   ["Server installation", "html/installation/notesr5-server.html", "11"]
  ],
  ["Configuring Notes R6", null, "1",
   ["Personal installation", "html/installation/notesr6-personal.html", "11"],
   ["Server installation", "html/installation/notesr6-server.html", "11"]
  ],
  ["Configuring Notes R7", null, "1",
   ["Personal installation", "html/installation/notesr7-personal.html", "11"],
   ["Server installation", "html/installation/notesr7-server.html", "11"]
  ],
  ["Configuring Notes R8", null, "1",
   ["Personal installation", "html/installation/notesr8-personal.html", "11"],
   ["Server installation", "html/installation/notesr8-server.html", "11"]
  ],
  ["Configuring Notes R8.5", null, "1",
   ["Personal installation", "html/installation/notesr85-personal.html", "11"],
   ["Server installation", "html/installation/notesr85-server.html", "11"]
  ]
 ],
 ["Using PGPNotes", null, "1",
  ["Encryption", "html/usage/encryption.html", "11"],
  ["Decryption", "html/usage/decryption.html", "11"],
  ["Key matching", "html/usage/keymatch.html", "11"],
  ["ECL warnings", "html/usage/ecl-warnings.html", "11"],
  ["PGPNotes Control", "html/usage/tray-control.html", "11"]
 ],
 ["Addition information", null, "1",
  ["Copyright and license", "html/info/license.html", "11"],
  ["Support and updates", "html/info/support.html", "11"],
  ["Ordering information", "html/info/order.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;
}