( 9839 & gt;