« 13 , 000;