( 13 , 883 .)