public class DictionaryA extends BookA {
    private int defs;
    public DictionaryA(int x) {
        pages = 2*pages;
        defs = x;
    }   
    public void defs_message() {
        System.out.println("Number of defs: "+defs);
        System.out.println("Defs per page: "+defs/pages);
    }
} // end of class Dictionary