+ <small>
+ User:
+ <uwobo:profileCtrlOptionList xmlns:uwobo="http://helm.cs.unibo.it/uwobo"
+ type="theory"/>
+ <br />
+ [<a href="http://helm.cs.unibo.it" target="_top">HELM home</a>]
+ <script>
+ document.write('[<a target="_top" href="' + processorURL +
+ 'apply?keys=SPK&param.processorURL=' + escape(processorURL) +
+ '&param.profile=' + escape(profile) +
+ '&xmluri=' + interfaceURL + 'html/configuration.html' +
+ '">configuration</a>]');
+ </script>
+ </small>