( 9767 & gt;