( 31 , 809 .)