Paso EOF a stdin