19a87f2004-02-27Martin Nilsson // Indirect loader of the symbol index for . PikeDoc.loadScript("ex/index.js", true, null);