( 13 , 588 .)