( 6 , 001 .)