stablegradients/pie-gem5-pairs huggingface dataset:
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.278319102180126x):
#include <stdio.h>



int main () {

	char str[10];

	scanf("%s", &str);

	

	printf("2018/01/");

	for (int i = 8; i < 10; i++) {

		printf("%c", str[i]);

	}

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.278319102180126x):
#include <stdio.h>



int main () {

	char str[10];

	scanf("%s", &str);

	

	printf("2018/01/");

	for (int i = 8; i < 10; i++) {

		printf("%c", str[i]);

	}

	

	return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.405545463066698x):
#include <stdio.h>



int main () {

	char str[10];

	scanf("%s", &str);

	

	printf("2018/01/");

	for (int i = 8; i < 10; i++) {

		printf("%c", str[i]);

	}

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include <stdio.h>



int main() {

    char S[10];

    scanf("%s", &S);

    S[3] = '8';

    printf("%s", S);

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include <stdio.h>



int main() {

    char S[10];

    scanf("%s", &S);

    S[3] = '8';

    printf("%s", S);

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.4095133586649675x):
#include <stdio.h>



int main() {

    char S[10];

    scanf("%s", &S);

    S[3] = '8';

    printf("%s", S);

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.306052611112108x):
#include <stdio.h>

int main(){

	char string[20];

	scanf("%[^\n]", string);

	string[3] = '8';

	printf("%s", string);

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.306052611112108x):
#include <stdio.h>

int main(){

	char string[20];

	scanf("%[^\n]", string);

	string[3] = '8';

	printf("%s", string);

	

	return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.433947448714037x):
#include <stdio.h>

int main(){

	char string[20];

	scanf("%[^\n]", string);

	string[3] = '8';

	printf("%s", string);

	

	return 0;

}
// Slower C++ solution:
#include <iostream>

 

 using namespace std;

  int main() {

       string s;

       while(cin>>s){

       int l=s.length();

       for(int i=0;i<l;i++){

       if(i==0) cout<<'2';

       else if(i==1) cout<<'0';

       else if(i==2) cout<<'1';

       else if(i==3) cout<<'8';

       else cout<<s[i];

                }

           cout<<endl;

		        }

    

	 return 0;

	  }

// Faster C++ solution for the same problem (measured speedup: 5.374191599212688x):
#include <stdio.h>

int main(){

	char string[20];

	scanf("%[^\n]", string);

	string[3] = '8';

	printf("%s", string);

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include <stdio.h>



int main(){

	char S[10];

	scanf("%s", S);

	S[3]= '8';

	printf("%s",S);

	

	

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include <stdio.h>



int main(){

	char S[10];

	scanf("%s", S);

	S[3]= '8';

	printf("%s",S);

	

	

	

	return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.4095133586649675x):
#include <stdio.h>



int main(){

	char S[10];

	scanf("%s", S);

	S[3]= '8';

	printf("%s",S);

	

	

	

	return 0;

}
// Slower C++ solution:
#include <iostream>

 

 using namespace std;

  int main() {

       string s;

       while(cin>>s){

       int l=s.length();

       for(int i=0;i<l;i++){

       if(i==0) cout<<'2';

       else if(i==1) cout<<'0';

       else if(i==2) cout<<'1';

       else if(i==3) cout<<'8';

       else cout<<s[i];

                }

           cout<<endl;

		        }

    

	 return 0;

	  }

// Faster C++ solution for the same problem (measured speedup: 5.350026205138589x):
#include <stdio.h>



int main(){

	char S[10];

	scanf("%s", S);

	S[3]= '8';

	printf("%s",S);

	

	

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.281713898628077x):
#include <stdio.h>

int main(){

	

	char S [12];

	scanf("%s", S);

	

	S[0] = '2';

	S[1] = '0';

	S[2] = '1';

	S[3] = '8';

	printf("%s", S);

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.281713898628077x):
#include <stdio.h>

int main(){

	

	char S [12];

	scanf("%s", S);

	

	S[0] = '2';

	S[1] = '0';

	S[2] = '1';

	S[3] = '8';

	printf("%s", S);

	

	return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.409022086245785x):
#include <stdio.h>

int main(){

	

	char S [12];

	scanf("%s", S);

	

	S[0] = '2';

	S[1] = '0';

	S[2] = '1';

	S[3] = '8';

	printf("%s", S);

	

	return 0;

}
// Slower C++ solution:
#include <iostream>

 

 using namespace std;

  int main() {

       string s;

       while(cin>>s){

       int l=s.length();

       for(int i=0;i<l;i++){

       if(i==0) cout<<'2';

       else if(i==1) cout<<'0';

       else if(i==2) cout<<'1';

       else if(i==3) cout<<'8';

       else cout<<s[i];

                }

           cout<<endl;

		        }

    

	 return 0;

	  }

// Faster C++ solution for the same problem (measured speedup: 5.349540335127329x):
#include <stdio.h>

int main(){

	

	char S [12];

	scanf("%s", S);

	

	S[0] = '2';

	S[1] = '0';

	S[2] = '1';

	S[3] = '8';

	printf("%s", S);

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include<stdio.h>

int main (){

	char tanggal[12];

	

	

	scanf("%s", &tanggal);

	tanggal [3] = '8';

	printf("%s", tanggal);

	

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include<stdio.h>

int main (){

	char tanggal[12];

	

	

	scanf("%s", &tanggal);

	tanggal [3] = '8';

	printf("%s", tanggal);

	

	

	return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.4095133586649675x):
#include<stdio.h>

int main (){

	char tanggal[12];

	

	

	scanf("%s", &tanggal);

	tanggal [3] = '8';

	printf("%s", tanggal);

	

	

	return 0;

}
// Slower C++ solution:
#include <iostream>

 

 using namespace std;

  int main() {

       string s;

       while(cin>>s){

       int l=s.length();

       for(int i=0;i<l;i++){

       if(i==0) cout<<'2';

       else if(i==1) cout<<'0';

       else if(i==2) cout<<'1';

       else if(i==3) cout<<'8';

       else cout<<s[i];

                }

           cout<<endl;

		        }

    

	 return 0;

	  }

// Faster C++ solution for the same problem (measured speedup: 5.350026205138589x):
#include<stdio.h>

int main (){

	char tanggal[12];

	

	

	scanf("%s", &tanggal);

	tanggal [3] = '8';

	printf("%s", tanggal);

	

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include <stdio.h>

#include <string.h>



int main(){

	

	char date [12];

	

	scanf("%s", &date);

	date [3]='8';

	

	printf ("%s", date);

	

	return 0 ;

}



//  \N JANGAN LUPA!!!!!
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include <stdio.h>

#include <string.h>



int main(){

	

	char date [12];

	

	scanf("%s", &date);

	date [3]='8';

	

	printf ("%s", date);

	

	return 0 ;

}



//  \N JANGAN LUPA!!!!!
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.4095133586649675x):
#include <stdio.h>

#include <string.h>



int main(){

	

	char date [12];

	

	scanf("%s", &date);

	date [3]='8';

	

	printf ("%s", date);

	

	return 0 ;

}



//  \N JANGAN LUPA!!!!!
// Slower C++ solution:
#include <iostream>

 

 using namespace std;

  int main() {

       string s;

       while(cin>>s){

       int l=s.length();

       for(int i=0;i<l;i++){

       if(i==0) cout<<'2';

       else if(i==1) cout<<'0';

       else if(i==2) cout<<'1';

       else if(i==3) cout<<'8';

       else cout<<s[i];

                }

           cout<<endl;

		        }

    

	 return 0;

	  }

// Faster C++ solution for the same problem (measured speedup: 5.350026205138589x):
#include <stdio.h>

#include <string.h>



int main(){

	

	char date [12];

	

	scanf("%s", &date);

	date [3]='8';

	

	printf ("%s", date);

	

	return 0 ;

}



//  \N JANGAN LUPA!!!!!
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include <stdio.h>



int main(){

	

	char nama [12];

	scanf("%s", &nama);

	nama [3]= '8';

	printf("%s", nama);

	

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include <stdio.h>



int main(){

	

	char nama [12];

	scanf("%s", &nama);

	nama [3]= '8';

	printf("%s", nama);

	

	

	return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.4095133586649675x):
#include <stdio.h>



int main(){

	

	char nama [12];

	scanf("%s", &nama);

	nama [3]= '8';

	printf("%s", nama);

	

	

	return 0;

}
// Slower C++ solution:
#include <iostream>

 

 using namespace std;

  int main() {

       string s;

       while(cin>>s){

       int l=s.length();

       for(int i=0;i<l;i++){

       if(i==0) cout<<'2';

       else if(i==1) cout<<'0';

       else if(i==2) cout<<'1';

       else if(i==3) cout<<'8';

       else cout<<s[i];

                }

           cout<<endl;

		        }

    

	 return 0;

	  }

// Faster C++ solution for the same problem (measured speedup: 5.350026205138589x):
#include <stdio.h>



int main(){

	

	char nama [12];

	scanf("%s", &nama);

	nama [3]= '8';

	printf("%s", nama);

	

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.27197344135908x):
#include <stdio.h>



int main(){

    char S [15];

    scanf("%s", &S); 

    S [3] = '8';

    printf("%s\n", S);



    return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.27197344135908x):
#include <stdio.h>



int main(){

    char S [15];

    scanf("%s", &S); 

    S [3] = '8';

    printf("%s\n", S);



    return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.3990468491334855x):
#include <stdio.h>



int main(){

    char S [15];

    scanf("%s", &S); 

    S [3] = '8';

    printf("%s\n", S);



    return 0;

}
// Slower C++ solution:
#include <iostream>

 

 using namespace std;

  int main() {

       string s;

       while(cin>>s){

       int l=s.length();

       for(int i=0;i<l;i++){

       if(i==0) cout<<'2';

       else if(i==1) cout<<'0';

       else if(i==2) cout<<'1';

       else if(i==3) cout<<'8';

       else cout<<s[i];

                }

           cout<<endl;

		        }

    

	 return 0;

	  }

// Faster C++ solution for the same problem (measured speedup: 5.339674793365095x):
#include <stdio.h>



int main(){

    char S [15];

    scanf("%s", &S); 

    S [3] = '8';

    printf("%s\n", S);



    return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.282405966673466x):
#include<stdio.h>

int main()

{

	char a[20];

	scanf("%s", &a);

	a[3] = '8';

	printf("%s", a);

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.282405966673466x):
#include<stdio.h>

int main()

{

	char a[20];

	scanf("%s", &a);

	a[3] = '8';

	printf("%s", a);

	

	return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.409730835605282x):
#include<stdio.h>

int main()

{

	char a[20];

	scanf("%s", &a);

	a[3] = '8';

	printf("%s", a);

	

	return 0;

}
// Slower C++ solution:
#include <iostream>

 

 using namespace std;

  int main() {

       string s;

       while(cin>>s){

       int l=s.length();

       for(int i=0;i<l;i++){

       if(i==0) cout<<'2';

       else if(i==1) cout<<'0';

       else if(i==2) cout<<'1';

       else if(i==3) cout<<'8';

       else cout<<s[i];

                }

           cout<<endl;

		        }

    

	 return 0;

	  }

// Faster C++ solution for the same problem (measured speedup: 5.350241290535842x):
#include<stdio.h>

int main()

{

	char a[20];

	scanf("%s", &a);

	a[3] = '8';

	printf("%s", a);

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.266792163755887x):
#include<stdio.h>



int main(){

	char s[11];

	scanf("%s", s);

	printf("2018/01/");

	printf("%c%c", s[8], s[9]); 

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.266792163755887x):
#include<stdio.h>



int main(){

	char s[11];

	scanf("%s", s);

	printf("2018/01/");

	printf("%c%c", s[8], s[9]); 

	return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.393740684216465x):
#include<stdio.h>



int main(){

	char s[11];

	scanf("%s", s);

	printf("2018/01/");

	printf("%c%c", s[8], s[9]); 

	return 0;

}
// Slower C++ solution:
#include <iostream>

 

 using namespace std;

  int main() {

       string s;

       while(cin>>s){

       int l=s.length();

       for(int i=0;i<l;i++){

       if(i==0) cout<<'2';

       else if(i==1) cout<<'0';

       else if(i==2) cout<<'1';

       else if(i==3) cout<<'8';

       else cout<<s[i];

                }

           cout<<endl;

		        }

    

	 return 0;

	  }

// Faster C++ solution for the same problem (measured speedup: 5.334426979102953x):
#include<stdio.h>



int main(){

	char s[11];

	scanf("%s", s);

	printf("2018/01/");

	printf("%c%c", s[8], s[9]); 

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main()

{

	string s;

 cin>>s;

	s[3]='8';

	cout<<s;

}

// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include <stdio.h>



int main (){

	

	char str [15];

	scanf ("%s", &str);

	str [3]='8';

	printf ("%s", str);

	

	return 0;

}
// Slower C++ solution:
#include<bits/stdc++.h>

using namespace std;

int main(){

string s;

cin >> s;

s[3] = '8';

cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.28219360832847x):
#include <stdio.h>



int main (){

	

	char str [15];

	scanf ("%s", &str);

	str [3]='8';

	printf ("%s", str);

	

	return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

	ios_base::sync_with_stdio(false);

    cin.tie(NULL);

    string a;

    cin>>a;

    a[3]='8';

    cout<<a;

}

// Faster C++ solution for the same problem (measured speedup: 5.4095133586649675x):
#include <stdio.h>



int main (){

	

	char str [15];

	scanf ("%s", &str);

	str [3]='8';

	printf ("%s", str);

	

	return 0;

}
// Slower C++ solution:
#include <iostream>

 

 using namespace std;

  int main() {

       string s;

       while(cin>>s){

       int l=s.length();

       for(int i=0;i<l;i++){

       if(i==0) cout<<'2';

       else if(i==1) cout<<'0';

       else if(i==2) cout<<'1';

       else if(i==3) cout<<'8';

       else cout<<s[i];

                }

           cout<<endl;

		        }

    

	 return 0;

	  }

// Faster C++ solution for the same problem (measured speedup: 5.350026205138589x):
#include <stdio.h>



int main (){

	

	char str [15];

	scanf ("%s", &str);

	str [3]='8';

	printf ("%s", str);

	

	return 0;

}
// Slower C++ solution:
#include <iostream>

#include <string>

using namespace std;

int main(){

    string S;

    cin >> S;

    S[3] = '8';

    cout << S << endl;

    return 0;

}


// Faster C++ solution for the same problem (measured speedup: 5.332747807995244x):
#include<cstdio>

main(){char S[10];scanf("%s",S);S[3]=56;printf("%s\n",S);}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

    string s;

    string s2="2018";

    getline(cin,s);

    s.replace(0,4,s2);

    cout<<s<<endl;



}


// Faster C++ solution for the same problem (measured speedup: 5.351872039471719x):
#include<stdio.h>

int main()

{

    char str[10];

    int i;

    for(i=0;i<=9;i++)

    {

        scanf("%c",&str[i]);

    }

    str[3]='8';

    printf("%s",str);

    return 0;

}
// Slower C++ solution:
#include<iostream>

#include<string>

using namespace std;

int main()

{

    string s;

    string s2="2018";

    getline(cin,s);

    s.replace(0,4,s2);

    cout<<s<<endl;



}


// Faster C++ solution for the same problem (measured speedup: 5.3244168373949075x):
#include<stdio.h>



int main()

{

	char str[255];

	

	scanf("%s", str);

	

	str[3] = '8';

	

	printf("%s\n", str);

}
// Slower C++ solution:
#include<bits/stdc++.h>

using  namespace std;

int main ()

{

    string a;

    cin>>a;

    a[3]='8';



    cout<<a<<endl;



}


// Faster C++ solution for the same problem (measured speedup: 5.331187035449571x):
#include<stdio.h>



int main()

{

	char str[255];

	

	scanf("%s", str);

	

	str[3] = '8';

	

	printf("%s\n", str);

}
// Slower C++ solution:
//Bismillahir Rahmanir Rahim

#include<iostream>

#include<cstdio>

#include<string.h>



int main()

{

    /*freopen("in.txt","r",stdin);

    freopen("out.txt","w",stdout);*/

    int a,b,c;

    char str[100];

    scanf("%s",str);

    int ln=strlen(str);

    printf("2018");

    for(int i=4;i<ln;i++){

        printf("%c",str[i]);

    }

    printf("\n");











    return 0;

}




// Faster C++ solution for the same problem (measured speedup: 5.236879677074775x):
#include<stdio.h>



int main()

{

	char str[255];

	

	scanf("%s", str);

	

	str[3] = '8';

	

	printf("%s\n", str);

}
// Slower C++ solution:
#include<bits/stdc++.h>

#define fi first

#define se second

#define pb push_back

using namespace std;

typedef long long LL;

typedef pair<int, int> pii;



int main()

{

    string S;

    cin>>S;

    S[3]='8';

    cout<<S<<endl;

    return 0;

}


// Faster C++ solution for the same problem (measured speedup: 5.331187035449571x):
#include<stdio.h>



int main()

{

	char str[255];

	

	scanf("%s", str);

	

	str[3] = '8';

	

	printf("%s\n", str);

}