String padding?

Hi,

Anyone know this? I need to pad a string with zeros for a minimum length. So season 1 will display as '01', etc. But season 10 is '10' and season 2000 (documentary Horizon for instance) will be '2000'.
I can't find any function for this, but I am hoping someone else ran into this before...

Thx.