12 1157 473 true 1 3 7 8 18 20 23 25 26 27 29 30