25242 x 3 ) (7