foreach f ( 9-* 10-*) picttoppm $f | ppmtogif > $f.gif end