( 15 , 019 .)