Continuas sin resolver totalmente el problema de extensión del documento
Cita: echo "<form action=pro3.html method=post>";
Y sí, también se trata de un problema de ámbito. En cualquier herramienta para desarrolladores lo podrías haber observado sin problemas. El orden de los factores, en programación, sí altera el producto.
Una sugerencia; ¿Por qué no pasas las variables a la función javascript como parámetros?