Fx

/ -> exhelp padzero 

string padzero (float size, float value)

        Returns a string padding a number to a given length with zeros.

        Returns a string containing <value> preceded by enough zeros to make up

        <size> digits.

        EXAMPLES

              padzero(5, 126) = 00126

              padzero(5, 23) = 00023

              padzero(1, 23) = 23

padzero(4, $FF)

Hscript에 보시면, padzero()라는 함수가 있는데요, $F를 0001~1000과 같은 형식으로 바꿔주는 역할을 합니다. 

python에서 구현할경우

Strings일 경우에는:

>>> n = '4'

>>> print n.zfill(3)

>>> '004'

그리고, 숫자일 경우에는:

>>> n = 4

>>> print '%03d' % n

>>> 004

>>> print "{0:03d}".format(4) # python >= 2.6

>>> 004

>>> print("{0:03d}".format(4)) # python 3

>>> 004

이런식으로 해 주시면 됩니다. 레퍼런스 링크를 참조하세요.

References:

http://stackoverflow.com/questions/339007/python-nicest-way-to-pad-zeroes-to-string