#!/usr/bin/env tclsh9.0

set line [read stdin]
set total 0
foreach inst [regexp -all -inline {mul\(\d+,\d+\)} $line] {
    scan $inst mul(%d,%d) a b
    incr total [expr {$a * $b}]
}
puts $total