9 4263 612 true 6 10 13 19 20 23 25 30 38