( 31 , 488 .)