Two carts, one twice as heavy as the other, are at rest on a horizontal frictionless track. A person pushes each cart with the same force for 3.00 s. If the kinetic energy of the lighter cart after the push is K, the kinetic energy of the heavier cart is