( 8414 & gt;