( 19 , 002 .)