2e1c031998-11-03Marcus Comstedt // Indirect loader of the symbol index for . PikeDoc.loadScript("ex/index.js", true, null);