( 8416 ) & lt;