( 13 , 587 .)