13 , 000 , int.