f267532001-10-27Martin Nilsson // Indirect loader of the symbol index for ::. PikeDoc.loadScript("ex/_3A_3A/index.js", true, null);