9 000 & gt;