#include <cstdlib>
#include <iostream>
#include <string>
using namespace std;

int main() {
    string a;
    if(!(getline(cin, a))) return 0;
    cout << atoi(a.substr(0,4).c_str()) + 10
    << "-"
    << a.substr(5,2) 
    << "-"
    << a.substr(8,2) <<endl;
    
}
// 64 位输出请用 printf("%lld")