stablegradients/pie-gem5-pairs huggingface dataset:
// Slower C++ solution:
#include<iostream>

#include<string>



using namespace std;



int main()

{

string in;

cin>>in;

in[3] = '8';

cout<<in;

return 0;

}

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

int main()

{ 

    char b[20];

    scanf("%s", &b);

    b[3] = '8';

    printf("%s", b);

    

    return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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



int main(){

    char date[10];

    scanf("%s",date);

    date[0]='2';

    date[1]='0';

    date[2]='1';

    date[3]='8';



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

return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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



int main(){

    char arr[10];

    scanf("%s",arr);

    arr[0] = '2';

    arr[1] = '0';

    arr[2] = '1';

    arr[3] = '8';

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

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

    }

    return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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



int main(){

    char arr[10];

    scanf("%s",arr);

    arr[0] = '2';

    arr[1] = '0';

    arr[2] = '1';

    arr[3] = '8';

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

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

    }

    return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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



int main(){

    char arr[10];

    scanf("%s",arr);

    arr[0] = '2';

    arr[1] = '0';

    arr[2] = '1';

    arr[3] = '8';

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

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

    }

    return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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



int main() {

  char str[11];

  scanf("%s", str);

  str[3] = '8';

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

  return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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



int main() {

  char str[11];

  scanf("%s", str);

  str[3] = '8';

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

  return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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



int main() {

  char str[11];

  scanf("%s", str);

  str[3] = '8';

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

  return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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



int main (){

	char str [11];

	scanf("%s", str);

	str[3] = '8';

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

	return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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



int main (){

	char str [11];

	scanf("%s", str);

	str[3] = '8';

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

	return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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



int main (){

	char str [11];

	scanf("%s", str);

	str[3] = '8';

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

	return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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



int main(){

    char date[11];

    scanf("%s", date);

    date[3] = '8';

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



    return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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



int main(){

    char date[11];

    scanf("%s", date);

    date[3] = '8';

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



    return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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



int main(){

    char date[11];

    scanf("%s", date);

    date[3] = '8';

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



    return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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

int main()

{

	char s[11];

	scanf("%s",s);

	s[3]='8';

	printf("%s",s);

	return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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

int main()

{

	char s[11];

	scanf("%s",s);

	s[3]='8';

	printf("%s",s);

	return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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

int main()

{

	char s[11];

	scanf("%s",s);

	s[3]='8';

	printf("%s",s);

	return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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

int main()

{

	char tanggal[15];

	

	scanf("%s",&tanggal);

	tanggal[3] = '8';

	printf("%s",tanggal);

	return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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

int main()

{

	char tanggal[15];

	

	scanf("%s",&tanggal);

	tanggal[3] = '8';

	printf("%s",tanggal);

	return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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

int main()

{

	char tanggal[15];

	

	scanf("%s",&tanggal);

	tanggal[3] = '8';

	printf("%s",tanggal);

	return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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



int main(){



    char x[11];

    scanf("%s", x);

    x[0] = '2';

    x[1] = '0';

    x[2] = '1';

    x[3] = '8';

    printf("%s", x);



    return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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



int main(){



    char x[11];

    scanf("%s", x);

    x[0] = '2';

    x[1] = '0';

    x[2] = '1';

    x[3] = '8';

    printf("%s", x);



    return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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



int main(){



    char x[11];

    scanf("%s", x);

    x[0] = '2';

    x[1] = '0';

    x[2] = '1';

    x[3] = '8';

    printf("%s", x);



    return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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

int main ()

{

	char tanggal [15];

	scanf ("%s", tanggal);

	tanggal [3] = '8';

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

return (0);

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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

int main ()

{

	char tanggal [15];

	scanf ("%s", tanggal);

	tanggal [3] = '8';

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

return (0);

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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

int main ()

{

	char tanggal [15];

	scanf ("%s", tanggal);

	tanggal [3] = '8';

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

return (0);

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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



int main(){

	

	char character [50];

	

	scanf("%s", &character);

	character [3] = '8';

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

	return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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



int main(){

	

	char character [50];

	

	scanf("%s", &character);

	character [3] = '8';

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

	return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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



int main(){

	

	char character [50];

	

	scanf("%s", &character);

	character [3] = '8';

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

	return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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



	int main() {

		char ymd[11];

		

		scanf("%s", &ymd);



		ymd[3] = '8';

		

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

		

		return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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



	int main() {

		char ymd[11];

		

		scanf("%s", &ymd);



		ymd[3] = '8';

		

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

		

		return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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



	int main() {

		char ymd[11];

		

		scanf("%s", &ymd);



		ymd[3] = '8';

		

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

		

		return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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

#include <string.h>



int main() {

	char S[12];

	

	scanf("%s", S);

	S[3] = '8';

	printf("%s", S);

	

	return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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

#include <string.h>



int main() {

	char S[12];

	

	scanf("%s", S);

	S[3] = '8';

	printf("%s", S);

	

	return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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

#include <string.h>



int main() {

	char S[12];

	

	scanf("%s", S);

	S[3] = '8';

	printf("%s", S);

	

	return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

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

int main (){

	

	char date[12];

	scanf ("%s",date );

	date[3] ='8';

	printf("%s", date);	

	

return 0;

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



using namespace std;



int main()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


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

int main (){

	

	char date[12];

	scanf ("%s",date );

	date[3] ='8';

	printf("%s", date);	

	

return 0;

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

using namespace std;

int main(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


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

int main (){

	

	char date[12];

	scanf ("%s",date );

	date[3] ='8';

	printf("%s", date);	

	

return 0;

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

using namespace std;



//Compiler version g++ 6.3.0



int main()

{

    string s;

    

    cin >> s;

    

    s[0]='2';

    s[1]='0';

    s[2]='1';

    s[3]='8';

    

    cout << s << endl;

    

    return 0;

}

// Faster C++ solution for the same problem (measured speedup: 5.301793700609215x):
#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()

{

    char s[20];

    cin >> s;

    s[3]='8';

    cout << s;

}


// Faster C++ solution for the same problem (measured speedup: 5.289747857623525x):
#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(void)

{

    char S[12];

    cin>>S;

    cout<<"2018";

    for(int i=4;S[i];i++)

        cout<<S[i];

}


// Faster C++ solution for the same problem (measured speedup: 5.292898148534132x):
#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.25978783812835x):
#include <stdio.h>



int main () {

	char string[15];

	scanf("%s", string);

	printf("2018");

	for (int i = 4; string[i] != '\0'; i++) {

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

	}

	printf("\n");

	

	

	

	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.25978783812835x):
#include <stdio.h>



int main () {

	char string[15];

	scanf("%s", string);

	printf("2018");

	for (int i = 4; string[i] != '\0'; i++) {

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

	}

	printf("\n");

	

	

	

	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.386567529300133x):
#include <stdio.h>



int main () {

	char string[15];

	scanf("%s", string);

	printf("2018");

	for (int i = 4; string[i] != '\0'; i++) {

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

	}

	printf("\n");

	

	

	

	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.301794390121065x):
#include <stdio.h>



int main(){

	char date[11];

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

	getchar();



	date[3] = '8';

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

	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.301794390121065x):
#include <stdio.h>



int main(){

	char date[11];

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

	getchar();



	date[3] = '8';

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

	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.42958658937354x):
#include <stdio.h>



int main(){

	char date[11];

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

	getchar();



	date[3] = '8';

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

	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 input[11];

	scanf("%s", input);

	input[3]='8';

	printf("%s", input);

	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 input[11];

	scanf("%s", input);

	input[3]='8';

	printf("%s", input);

	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 input[11];

	scanf("%s", input);

	input[3]='8';

	printf("%s", input);

	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 string[11];

    scanf("%s", 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 string[11];

    scanf("%s", 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.4095133586649675x):
#include <stdio.h>







int main(){



    char string[11];

    scanf("%s", 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.258930172918566x):
#include <stdio.h>



int main(){

	

	char str[15];

	scanf("%s",&str);

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

		if(i==3){

			printf("8");

		}

		else 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.258930172918566x):
#include <stdio.h>



int main(){

	

	char str[15];

	scanf("%s",&str);

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

		if(i==3){

			printf("8");

		}

		else 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.3856891912925535x):
#include <stdio.h>



int main(){

	

	char str[15];

	scanf("%s",&str);

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

		if(i==3){

			printf("8");

		}

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

	}



	

	return 0;

}