<script type="text/javascript" language="JavaScript1.2" src="../javascript/stm31.js"></script>

pessima idea: non permettere di evidenziare il testo per copiarlo, non si può usare il menu contestuale, insomma, una cosa da NON fare assolutamente (tanto più che con browser NON IE funziona a metà...)