DEFAULT_HEIGHT     59 util/gifbg.c       ImageHeight = DEFAULT_HEIGHT,
DEFAULT_HEIGHT     38 util/gifwedge.c     ImageHeight = DEFAULT_HEIGHT;