( 6 001 .)