Non è PHP, è uno script in javascript, che si trova tra i tag
<script type="text/javascript">
...
</script>

Come faccio a fare lo script esterno?? Scusa ma non so dove mettere le mani...Grazie!!!