( 9688 & gt;