( 16 , 001 .)