( 6812 & gt;