( 4 , 001 .)