_ x2 ) x2 ) ( 7425 .)