( 13 , 000 .)