-<center>
-<table border="0" cellspacing="0" cellpadding="0">
-<tr>
-<td><img src="matita.png" width="276" height="110" alt="matita" /></td></tr>
-</table>
-<br />
-<form action="@SEARCH_ENGINE_URL@/ask_uwobo" method="get">
- <input type="hidden" name="param.processorURL" value="@processorURL@" />
- <input type="hidden" name="param.getterURL" value="@getterURL@" />
- <input type="hidden" name="param.proofcheckerURL" value="@proofcheckerURL@" />
- <input type="hidden" name="param.draw_graphURL" value="@draw_graphURL@" />
- <input type="hidden" name="param.ui_set_queueURL" value="@uri_set_queueURL@" />
- <input type="hidden" name="param.UNICODEvsSYMBOL" value="@UNICODEvsSYMBOL@" />
- <input type="hidden" name="param.keys" value="@keys@" />
- <input type="hidden" name="param.thkeys" value="@thkeys@" />
- <input type="hidden" name="param.embedkeys" value="@embedkeys@" />
- <input type="hidden" name="param.doctype-public" value="@public@" />
- <input type="hidden" name="param.encoding" value="@encoding@" />
- <input type="hidden" name="param.thencoding" value="@thencoding@" />
- <input type="hidden" name="param.media-type" value="@type@" />
- <input type="hidden" name="param.thmedia-type" value="@type@" />
- <input type="hidden" name="param.interfaceURL" value="@interfaceURL@" />
- <input type="hidden" name="param.thinterfaceURL" value="@thinterfaceURL@" />
- <input type="hidden" name="param.CICURI" value="@CICURI@" />
- <input type="hidden" name="param.expandasking" value="@SEARCH_ENGINE_URL@" />
- <input type="hidden" name="param.annotations" value="@annotations@" />
- <input type="hidden" name="param.naturalLanguage" value="@naturalLanguage@" /> <input type="hidden" name="param.SEARCH_ENGINE_URL" value="@SEARCH_ENGINE_URL@" />
- <input type="hidden" name="param.topurl" value="@topurl@" />
+<helm:uwobo_form>
+ <helm:hidden_params />
+ <input type="hidden" name="advanced" value="@ADVANCED@"/>
+ <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>