7942X13 ) ( 5 , 771 .)