import re
text: str
with open("input.txt") as f:
text = f.read()
total: int = 0
for x, y in re.findall("mul\(([0-9]{1,3})\,([0-9]{1,3})\)", text):
x, y = int(x), int(y)
total += x * y
print(total)
