( 6 , 019 .)