( 31 , 695 .)