procedure gifsize: size of GIF file
link gifsize
May 2, 2001; Ralph E. Griswold
This file is in the public domain.
This procedure returns the size of a GIF file in the form width,height. It fails if the file does not exist or is not a valid GIF file.