passi il nome del file dalla barra e con un linguaggio lato server lo impippetti nel codice oppure dai un occhio a javascript e http su pro.html.it per farlo lato client...