System.err.println("75%");
            public void execute()            {                model.setCurrentMode(BrowserModel.ZOOM_MODE_NAME,                                     BrowserMode.ZOOM_75_MODE);            }