#include <iostream>
#include <sstream>
#include <string>
int main() {
using namespace std;
for (string line; getline(cin, line); ) {
istringstream ss(line);
string name;
ss >> name; // assume spaces between all elements in the line
if (name == "filesize") {
string sep;
int filesize = -1;
ss >> sep >> filesize;
if (sep == ":" && ss) {
cout << filesize << endl;
break;
}
}
}
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8c3N0cmVhbT4KI2luY2x1ZGUgPHN0cmluZz4KCmludCBtYWluKCkgewogIHVzaW5nIG5hbWVzcGFjZSBzdGQ7CiAgZm9yIChzdHJpbmcgbGluZTsgZ2V0bGluZShjaW4sIGxpbmUpOyApIHsKICAgICBpc3RyaW5nc3RyZWFtIHNzKGxpbmUpOwogICAgIHN0cmluZyBuYW1lOwogICAgIHNzID4+IG5hbWU7IC8vIGFzc3VtZSBzcGFjZXMgYmV0d2VlbiBhbGwgZWxlbWVudHMgaW4gdGhlIGxpbmUKICAgICBpZiAobmFtZSA9PSAiZmlsZXNpemUiKSB7CiAgICAgICAgc3RyaW5nIHNlcDsKICAgICAgICBpbnQgZmlsZXNpemUgPSAtMTsKICAgICAgICBzcyA+PiBzZXAgPj4gZmlsZXNpemU7CiAgICAgICAgaWYgKHNlcCA9PSAiOiIgJiYgc3MpIHsKICAgICAgICAgIGNvdXQgPDwgZmlsZXNpemUgPDwgZW5kbDsKICAgICAgICAgIGJyZWFrOwogICAgICAgIH0KICAgICB9CiAgfQp9