( 7667 & gt;