Ejercicio PHP 23: file().