// Indirect loader of the symbol index for Protocols.DNS.

// Inherit Protocols.DNS.
PikeDoc.loadScript("ex/predef_3A_3A/Protocols/DNS/load_index.js", "Protocols.DNS");

// Inherit Protocols.DNS.
PikeDoc.loadScript("ex/predef_3A_3A/Protocols/DNS/load_index.js", "Protocols.DNS");

PikeDoc.loadScript("ex/7.8_3A_3A/Protocols/DNS/index.js", false, ["Protocols.DNS","Protocols.DNS"]);