1234567
= 123 * 10000 + 4567
= int(1234567/10000) * 10000 + 1234567%10000