( 7839 & gt;