Hola accitano, llevaba un buen rato intentado comprobar el código que pusiste porque a mí ni siquiera me salía el prompt que debería salir. Hasta que me di cuenta de esto:
Código:
<script language="JavaScript" type="text/javascript" src="JavaScript" >
Pues bien, ese SRC significa que las instrucciones y funciones de Javascript están en un archivo .js, es decir, que no debería haber nada entre las etiquetas <script> de tu código porque lo que contiene el script ya está en el archivo .js.
Como comprobarás el supuesto archivo al que se debería llamar para realizar las funciones no tiene extensión .js (o .txt o de ningún tipo) por lo que no encuentra las funciones a realizar ignorando además las que hay dentro de la etiqueta.
En resumidas cuentas, prueba a borrar lo que he marcado en rojo y, en teoría, debería funcionar.
A mí me funciona, pero claro, luego no puedo entrar en pr.php
suerte