#include <iostream>
#include <string>
using namespace std;
int main() {
    string s = "Hello,World!";
    int pos = s.find(',');
    string res = s.substr(pos + 1, 5);
    cout << res.size() << res << endl;
    return 0;
}