( 8678 & gt;