il file codice.js si trova nella directory dove si trova la pagina dove viene eseguito il codice, quindi:
codice:
 
<script type="text/javascript" src="codice.js"></script>
dovrebbe andare bene. Ho provato ad inserire il codice anche in una pagina js dove viene eseguita (correttamente) un'altra funzione, ma niente da fare.
Ho provato con chrome, ma con ctrl+C mi da solo fastidioso beep: forse perchè non trova errori? La cosa che mi fa innervorsire è che un paio di settimane fa ho fatto qualcosa di più complesso utilizzando file js esterni, senza aver problemi.