Cambio del codigo php dentro de un archivo html