extern char WindowSizingStr[], ImageWidthStr[], ImageHeightStr[],
            ZoomBoxStr[], CoordBoxStr[], Winfract[];
extern char WinfractPosStr[], ZoomBoxPosStr[], CoordBoxPosStr[];
extern char *ProgStr;