7 , 8 9 , 12;