( 13 , 019 .)