( 6807 & gt;