7042X13 ) ( 5.771 .)