7942X13 ) , ( 5 , 771 .)