// File: IO22.java (Module 13)
//
// Author: Rahul Simha
// Created: Nov 28, 1998
//
// Reading from a Gzipped file.

import java.io.*;
import java.util.zip.*;

public class IO22 {

    public static void main (String[] argv)
    {
	try {
	    // Wrap the appropriate streams in the right order.
	    FileInputStream fileStream = new FileInputStream ("blah4.txt.gz");
	    GZIPInputStream gstream = new GZIPInputStream (fileStream);
	    InputStreamReader osr = new InputStreamReader (gstream);
	    LineNumberReader lnr = new LineNumberReader (osr);

	    // Read.
	    String s = lnr.readLine ();
	    while (s != null) {
		System.out.println (s);
		s = lnr.readLine ();
	    }
	    lnr.close (); 
	}
	catch (IOException e) { System.out.println (e); }
    }

}