Randal has already given you excellent advice. One more point: If JPG isn't suitable for your thumbnails, you might want to try out PNG. With a good PNG encoder, I manage to beat GIF file sizes most of the time, often substantially. Look for pngcrush to get even smaller files.