25752 x 4 ) ( 7259 .)