How do I change the size of an animated GIF file?

Quite often, the GIFs I like are too big for places like message boards, etc. I%26#039;d like to be able to change the file size. Is there software out there that will do this?|||you can use Adobe Imageready, Ulead GIF, or the GIF Costruction Set/|||There%26#039;s a free version of Ulead Gif Animator somewhere out there that will do that.