Nel markup, ovviamente, va inserito il richiamo alla funzione controlla:

codice:
<form action="java&#115;cript:controlla()">