( 13 , 817 .)