5207X1 ) ( 3 , 919 .)