(defun zero-push (x) (let ((s (princ-to-string x)))
(labels ((zc (n m) (equal m #\0))) (parse-integer (sort s #'zc)))))
(print (zero-push 20010307))
KGRlZnVuIHplcm8tcHVzaCAoeCkgKGxldCAoKHMgKHByaW5jLXRvLXN0cmluZyB4KSkpIAogIChsYWJlbHMgKCh6YyAobiBtKSAoZXF1YWwgbSAjXDApKSkgKHBhcnNlLWludGVnZXIgKHNvcnQgcyAjJ3pjKSkpKSkgCgoocHJpbnQgKHplcm8tcHVzaCAyMDAxMDMwNykp