1145. Масса ведра с водой равна 12,5 кг. Когда из ведра вылили половину воды, то масса ведра с водой стала 7 кг. Какова масса пустого ведра?