, ( 31 , 8 ! ) 7 .)