#include <iostream>
using namespace std;
#include <string>
int main() {
    string s;
    cin>>s;
    int a=stoi(s.substr(0,4))+10;
     string s2=to_string(a);
     s.replace(0,4,s2);
    cout<<s<<endl;
    return 0; 
}
// 64 位输出请用 printf("%lld")