#include <bits/stdc++.h>
using namespace std;
int main()
{
    char s[8];
    scanf("%s",s);
    int t;
    cin>>t;
    s[0]='2';
    s[1]='0';
    s[2]='1';
    s[3]='8';
    cout<<s;
    cout<<t<<endl;
}
