Ciao, bhe basta che includi il file js nella pagina html in questo modo

<script language=javascript src="tuo_file.js"></script>

nell'head della pagina

e nel form metti

<form action="" method="get" onsubmit="prova();">