( 13 , 793 .)