9IG0X4 ) ( 5 , 519 .)