- document.write('<frame src="control.html' +
- '?topurl=' + location.protocol + "//" + location.host + location.pathname +
- '&mode=' + getParam('mode') +
- '&cicuri=' + getParam('cicuri') +
- '&theoryuri=' + getParam('theoryuri') +
- '&processorURL=' + getParam('processorURL') +
- '&getterURL=' + getParam('getterURL') +
- '" name="control"/>');
+ var control_frame_URL=
+ topurl + '/html/library/control.html' +
+ '?topurl=' + topurl +
+ '&mode=' + getParam2('mode') +
+ '&cicuri=' + getParam2('cicuri') +
+ '&theoryuri=' + getParam2('theoryuri');
+ var escaped_control_frame_URL = escape(control_frame_URL);
+ document.write('<frame src="' +
+ processorURL + 'apply' +
+ '?keys=RT' +
+ '&profile=' + profile +
+ '¶m.profile=' + profile +
+ '¶m.topurl=' + topurl +
+ '&xmluri=' + escaped_control_frame_URL + '" name="control"/>');