// http://jocke.jaiku.com/presence/42937304#c-1480362
importjava.io.*;importjava.util.regex.*;public classCO{
public static voidmain(String[] args) throwsIOException{
BufferedReader r = newBufferedReader(
newInputStreamReader(newFileInputStream(args[0]), "UTF-8"));
Pattern p = Pattern.compile("([0-9]+):\u2013");
long sum = 0;
while (true) {
String s = r.readLine();
if (s ==null) break;
Matcher m = p.matcher(s);
while (m.find()) sum += Long.parseLong(m.group(1));
}
System.out.println(sum);
}
}