} else if (format == "html" && type == "theory") {
keys = escape("T1,T2,L,E")+"¶m.processorURL=" + escape(processorURL) +
"¶m.getterURL=" + escape(getterURL) +
} else if (format == "html" && type == "theory") {
keys = escape("T1,T2,L,E")+"¶m.processorURL=" + escape(processorURL) +
"¶m.getterURL=" + escape(getterURL) +