Seokgi buys school supplies with half of his money and sweets with the other half of his remaining money. If Seokgi has 1250 won left over after buying sweets, how much money did he have at the beginning?
1250 2 [OP_MUL] 2 [OP_MUL]
var_a = 1250
var_b = 2
var_c = var_a * var_b
var_d = 2
var_e = var_c * var_d
print(int(var_e))