46c7691998-09-02Niels Möller // Indirect loader of the symbol index for . PikeDoc.loadScript("ex/index.js", true, null);