- 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');
- top.topurl = getParam2('topurl');