var annotations = "<subst:annotations/>";
var url = "<subst:makeTheoryURL/>";
<![CDATA[
- document.write('<frameset cols="18%,*" border="1" >');
+ document.write('<frameset cols="20%,*" border="1" >');
document.write('<frame src="' + processorURL + 'apply?keys=RT&profile=' +
profile + '¶m.annotations=' + annotations + '¶m.CICURI=' + CICURI +
'¶m.url=' + escape(url) + '&xmluri=' +