Use 5-digit frame filenames.

100k should be enough for everybody.