7 , 8 , 9 12;