( 1 2 3 5 7 8 8 10 11 12 17 18 20 )