" 10000 & gt;