while""do n=io.read()h=100 print(("%d %d %d %d"):format(n/1e4%h,n%h,n/1e6,n/h%h))end
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page