Please add another digit to catId

I specified the catId formats as %03d, but upon further consideration and discussion with Masayuki Tanaka I think we should change this to %04d.

The problem is that open-use may well define a catId for every program, and 1000 may not be enough.