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

public class GZIPcompress {

  public static void main(String args[]) {
    try {
	BufferedInputStream in = 
          new BufferedInputStream (
            new FileInputStream (args[0]));

        BufferedOutputStream out = 
 	  new BufferedOutputStream (
            new DigitFilterOutputStream (
	      new GZIPOutputStream (
		new FileOutputStream(args[0]+".gz"))));

	while ( in.available()!=0)
	   out.write(in.read());
	
	in.close();
	out.close();
     } catch (IOException e) {
	e.printStackTrace();
     }
  }
}