( 40 , 001 .)