printf("%0*d", K, str); //固定输出K位数,如果str不够K位,则补0