'¶m.annotations=' + annotations + '¶m.CICURI=' + CICURI +
'¶m.url=' + escape(url) + '&xmluri=' +
escape(interfaceURL + 'html/theory/control.html') +'"/>');
'¶m.annotations=' + annotations + '¶m.CICURI=' + CICURI +
'¶m.url=' + escape(url) + '&xmluri=' +
escape(interfaceURL + 'html/theory/control.html') +'"/>');