//
//	ExtTime.java
//	p.110
//

class ExtTime extends Time
{
	private String zone;
	public ExtTime()	{	super(); zone="EST"; }
	public ExtTime(int h, int m, int s, String z)	{	super(h, m, s); zone=z; }
	public void set(int h, int m, int s, String z)	{	super.set(h, m, s); zone=z; }
	public void writeOut()
	{
		super.writeOut();
		System.out.print(" " + zone);
	}
	public boolean equal(ExtTime x)
	{
		return super.equal(x) && zone.equalsIgnoreCase(x.zone);
	}
	public static void main(String[] args)
	{
		// p.111
		ExtTime x = new ExtTime(8, 35, 0, "PST");
		x.writeOut();
		System.out.println();
		ExtTime y = new ExtTime();	// 00:00:00 EST
		y.writeOut();
		System.out.println();

		y = x;
		y.increment();	// 08:35:01 PST
		y.writeOut();

		System.out.println();
		Time z = new Time();
		z.writeOut();			// 00:00:00


		System.out.println("\n\nDone.\n\n");
	}
}