A dozen means 12. Jungkook initially had 17 pencils, but his mother bought a few more, bringing the total number of pencils to 2 dozen. How many additional pencils did the mother buy?
2 12 [OP_MUL] 17 [OP_SUB]
var_a = 2
var_b = 12
var_c = var_a * var_b
var_d = 17
var_e = var_c - var_d
print(int(var_e))