( 13 , 859 .)