'&theoryuri=' + getParam2('theoryuri') +
'&processorURL=' + getParam2('processorURL') +
'&getterURL=' + getParam2('getterURL') +
+ '&proofcheckerURL=' + getParam2('proofcheckerURL') +
'&draw_graphURL=' + getParam2('draw_graphURL') +
'&uri_set_queueURL=' + getParam2('uri_set_queueURL') +
'&UNICODEvsSYMBOL=' + getParam2('UNICODEvsSYMBOL');
'¶m.keys=L2H' +
'¶m.uri=' + getParam2('theoryuri') +
'¶m.getterURL=' + getParam2('getterURL') +
+ '¶m.proofcheckerURL=' + getParam2('proofcheckerURL') +
'¶m.draw_graphURL=' + getParam2('draw_graphURL') +
'¶m.uri_set_queueURL='+getParam2('uri_set_queueURL') +
'¶m.UNICODEvsSYMBOL=' + getParam2('UNICODEvsSYMBOL') +
'¶m.keys=L2H' +
'¶m.uri=' + getParam2('cicuri') +
'¶m.getterURL=' + getParam2('getterURL') +
+ '¶m.proofcheckerURL=' + getParam2('proofcheckerURL') +
'¶m.draw_graphURL=' + getParam2('draw_graphURL') +
'¶m.uri_set_queueURL='+getParam2('uri_set_queueURL') +
'¶m.UNICODEvsSYMBOL=' + getParam2('UNICODEvsSYMBOL') +