5231 5232 21671 24045 42857 61669 80481 13200 5234 5235