-function makeURL(type,uri,cicflags,typesflags)
+function getCICMathMLKeys()
+{
+ return escape("d_c,C1,G,C2,L");
+}
+
+function getTheoryKeys()
+{
+ return escape("T1,T2,L,E");
+}
+
+function getEmbedKeys()
+{
+ return escape("d_c,TC1,HC2,L");
+}
+
+function getCICHTMLKeys()
+{
+ return escape("d_c,C1,HC2,L");
+}
+
+function getCICProofTreeXHTMLMathMLKeys()
+{
+ return escape("HAT,G,HAO,L");
+}
+
+function makeURL(type,uri,cicflags,typesflags,profile,processorURL,interfaceURL,getterURL)