( 5 , 019 .)