GIF Size Filter
Filters GIF images by size.
It uses the file
bannersizes
for size information.