( 13 588 .)