how do you format a number like this: 1 will turn into 0001, 10 will turn into 0010,etc..? is there a function that willl do this?