9,400 & r . zinkblende.