Ki-tae bought 12 pens at a stationery store, including pencils that cost 1,000 won each and ballpoint pens that cost 1,300 won each. How many pencils did Ki-tae buy when he used all his money of 15,000 won?
1300 12 [OP_MUL] 15000 [OP_SUB] 1300 1000 [OP_SUB] [OP_DIV]
var_a = 1300
var_b = 12
var_c = var_a * var_b
var_d = 15000
var_e = var_c - var_d
var_f = 1300
var_g = 1000
var_h = var_f - var_g
var_i = var_e / var_h
print(int(var_i))