modificando el archivo hola.php