demo_file_fgets.php: