def PadLeft(s, Len, Padding = '0'):
    """Pads s on the left with Padding to length Len.
s: a string.
Len: an integer.
Padding: a string."""
    while len(s) < Len:
        s = Padding + s
    return s