// iNHERIT17_object

// Every class in Java is a subclass of class $Object$.
// We don't usually write $extends Object$ in the class header, but we could.

public class inherit17_object extends Object {
    public static void main(String[] args) {
    	new A();
	new B();
    }
}

class A extends Object {
    public A() { System.out.println("Hi from A!"); }
}
class B extends A {
    public B() { System.out.println("Hi from B!"); }
}

/* Output:
   Hi from A!
   Hi from A!
   Hi from B!
*/
