( 31 , 442 .)