$Libro= "Libro.zip"; echo "<form method='post' action='$Libro' name='Descarga'><input type='submit' value='Descarga'></form>";