( 10 , 002 ) & lt;