The file popanim.gif is an animated GIF created by gifmerge:

	gifmerge -l0 -5 popup*.gif > popanim.gif

I hope the underlying original (popup08.gif) isn't copyrighted by
anybody.  It has been taken from some icon collection on the web.
Thanx to the unknown donator.

Guido Flohr
--
http://stud.uni-sb.de/~gufl0000
mailto:gufl0000@stud.uni-sb.de
