25679 x 4 ) ( 7203 .)