var tocTab = new Array();var ir=0;
tocTab[ir++] = new Array ("Top", "IBIS Inc",         "",        "about.html", 0);
tocTab[ir++] = new Array ("0",   "About Us",         "nfindex.html",        "", 0);
tocTab[ir++] = new Array ("0.1", "Main Page",        "nfindex.html",        "", 0);
tocTab[ir++] = new Array ("99",   "Help",        "help.html", "", 0);