+++ /dev/null
-<HTML>
-<HEAD>
-<TITLE>@TITLE@</TITLE>
-<style> A { text-decoration: none } </style>
-<SCRIPT language="Javascript">
- var ambiguousinput='@MSG@';
- var elenco = new Array(@CHOICES@);
- var ident = '@ID@';
-</SCRIPT>
-</HEAD>
-<BODY>
-<h3><SCRIPT language="Javascript">document.write(ambiguousinput);</SCRIPT></h3>
-<br />Please select one or more of the following.
-<br />
-<form name="disamb">
-<SCRIPT language="Javascript">top.templateambigpdq1_listauri(document,elenco);</SCRIPT><br />
-<input type="button" value="Ok" onClick="top.templateambigpdq1_invia(document,top,elenco,ident);" />
-<input type="button" value="Constants Only" onClick="top.templateambigpdq1_selezionaCostanti(document,elenco);" />
-<input type="button" value="Cancel" onClick="top.templateambigpdq1_resetta();" />
-</form>
-</BODY>
-</HTML>