6736102002-12-20Henrik Grubbström (Grubba) // Indirect loader of the symbol index for 7.0::. PikeDoc.loadScript("ex/7.0_3A_3A/index.js", true, null);