import java.util.Scanner;

public class Main {

	public static void main(String[] args) {

		Scanner sc = new Scanner(System.in);

		String S = sc.next();

		if(S.matches("2017.*")) {
			System.out.println(S.replace("2017", "2018"));
		}
		else{
			System.out.println(S);
		}
	}
} import java.util.Scanner; Scanner java.util public class Main {

	public static void main(String[] args) {

		Scanner sc = new Scanner(System.in);

		String S = sc.next();

		if(S.matches("2017.*")) {
			System.out.println(S.replace("2017", "2018"));
		}
		else{
			System.out.println(S);
		}
	}
} Main public static void main(String[] args) {

		Scanner sc = new Scanner(System.in);

		String S = sc.next();

		if(S.matches("2017.*")) {
			System.out.println(S.replace("2017", "2018"));
		}
		else{
			System.out.println(S);
		}
	} main {

		Scanner sc = new Scanner(System.in);

		String S = sc.next();

		if(S.matches("2017.*")) {
			System.out.println(S.replace("2017", "2018"));
		}
		else{
			System.out.println(S);
		}
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String S = sc.next(); S sc.next() sc.next sc if(S.matches("2017.*")) {
			System.out.println(S.replace("2017", "2018"));
		}
		else{
			System.out.println(S);
		} S.matches("2017.*") S.matches S "2017.*" {
			System.out.println(S.replace("2017", "2018"));
		} System.out.println(S.replace("2017", "2018")) System.out.println System.out System System.out S.replace("2017", "2018") S.replace S "2017" "2018" {
			System.out.println(S);
		} System.out.println(S) System.out.println System.out System System.out S String[] args args public class Main {

	public static void main(String[] args) {

		Scanner sc = new Scanner(System.in);

		String S = sc.next();

		if(S.matches("2017.*")) {
			System.out.println(S.replace("2017", "2018"));
		}
		else{
			System.out.println(S);
		}
	}
} public class Main {

	public static void main(String[] args) {

		Scanner sc = new Scanner(System.in);

		String S = sc.next();

		if(S.matches("2017.*")) {
			System.out.println(S.replace("2017", "2018"));
		}
		else{
			System.out.println(S);
		}
	}
} Main
import java.util.Scanner;

public class Main {

	public static void main(String[] args) {

		Scanner sc = new Scanner(System.in);

		String S = sc.next();

		if(S.matches("2017.*")) {
			System.out.println(S.replace("2017", "2018"));
		}
		else{
			System.out.println(S);
		}
	}
}
