( 3901 ) & lt;