( 3962 ) & lt;