public class Words {
    public static void main(String[] args) {
        DictionaryA webster = new DictionaryA(12400);
        webster.page_message();
        webster.defs_message();
    } // end of main
} // end of class Words