Using '%.4d' as the format string will give you leading zero's. Notice the dot (.) in the format string.
FWIW: While '%4d'.format([IntRecCount]) may look sexier than old style syntax, it'll invoke a class helper, so it has more overhead.
If you don't need leading blanks of zero's a simple IntToStr() will suffice (or if you insist on "sexy" syntax: IntRecCount.ToString).
Bart