简单的python问题

输入的字符必须在4-12之间，如果少于12，则在字符前进行补零操作

是要输入小于12，如果为11，输出011？