<![CDATA[
top.processorURL = getParam2('processorURL');
top.getterURL = getParam2('getterURL');
+ top.proofcheckerURL = getParam2('proofcheckerURL');
top.draw_graphURL = getParam2('draw_graphURL');
top.uri_set_queueURL = getParam2('uri_set_queueURL');
top.UNICODEvsSYMBOL = getParam2('UNICODEvsSYMBOL');