var tocTab = new Array();var ir=0;
tocTab[ir++] = new Array ("Top", "Contents", "Introduction.html");
tocTab[ir++] = new Array ("0", "Introduction", "Introduction.html");
tocTab[ir++] = new Array ("1", "Usage Information", "UsageInformation.html");
tocTab[ir++] = new Array ("2", "Support", "Support.html");
tocTab[ir++] = new Array ("3", "Purchase", "Purchase.html");
tocTab[ir++] = new Array ("4", "Copyright", "Copyright.html");
var nCols = 4;