< 0 < 01 < 012 < 0123 < 01234 < 012345 < 0123456 < 01234567 < 01234567 < 01234567 < 01234567 < 01234567 < 01234567 < 01234567 < 01234567 < 01234567 <