var tocTab = new Array();var ir=0;
tocTab[ir++] = new Array ("Top", "Contents", "Introduction.html", "", "");
tocTab[ir++] = new Array ("0", "Introduction", "Introduction.html", "10001", "Introduction");
tocTab[ir++] = new Array ("0.0", "Under Construction", "UnderConstruction.html", "10003", "UnderConstruction");
tocTab[ir++] = new Array ("0.1", "About", "About.html", "10002", "About");
var nCols = 9;