( 13 , 775 .)