( 8693 & gt;