// Indirect loader of the symbol index for 7.4::.

PikeDoc.loadScript("ex/7.4_3A_3A/index.js", true, null);