#!/bin/sh

f1=`ls ????????.0[456789]????.cv.vel.gif`
f2=`ls ????????.1[01]????.cv.vel.gif`
files="$f1 $f2"

gifsicle --loopcount=0 --colors=256 $files > "0400-1100.cv.vel.gif"