///////    URLHeader.java    ///////
import java.io.*;
import java.net.*;
import java.util.Date;
import java.text.DateFormat;

public class URLHeader
{  public static void readHeader(String url, OutputStream o)
   { PrintWriter out = new PrintWriter(o);
     try
     {  URL urlobj = new URL(url);
        URLConnection ser = urlobj.openConnection();
        String s = ser.getContentType();
        out.println("Content-type: " + s);
        s = ser.getContentEncoding();
        out.println("Content-Encoding: " + s);
        int i = ser.getContentLength();
        out.println("Content-Length: " + i);
        long r = ser.getDate();
        Date d = new Date(r);
	s = DateFormat.getDateInstance().format(d);
        out.println("Date: " + s);
        Object cont = ser.getContent();
        /* if ( cont instanceof String ) */
        out.println("Content is " + cont.getClass());
     }  catch (MalformedURLException e)  { JavaSystem.error(e); }
        catch (IOException e)  { JavaSystem.error(e); }
   }

   public static void main(String[] args)
   { if ( args.length != 1 )
     {   JavaSystem.err.println("Usage: ReadUrl URL");
         System.exit(1);
     }
     readHeader(args[0], System.out);
   }
}