A.-B.X3 ) ( 577 .)