( 19 , 001 .)