// Indirect loader of the symbol index for Debug. PikeDoc.loadScript("ex/7.6_3A_3A/Debug/index.js", true, null);