( 20 , 001 .)