7 , 12 : t , 40 ; 9 , 55;