#
# Gifs from /usr/doc/sgml-tools/html/
#