öfver 13 , 000: