( 6767 & gt;