7 , 8 , 9 , 12;