these are off files of polygons
They were renamed to gif because of bizarre bug in Netscape, which 
allow to load gif from resources, but don't allow load files with extension .off.

