( 8347 & gt;