( 31 , 888 .)