import java.util.Scanner;

public class Main {

	public static void main(String[] args) {

		Scanner scan = new Scanner(System.in);

		System.out.println(scan.next().replace("2017", "2018"));
	}
} import java.util.Scanner; Scanner java.util public class Main {

	public static void main(String[] args) {

		Scanner scan = new Scanner(System.in);

		System.out.println(scan.next().replace("2017", "2018"));
	}
} Main public static void main(String[] args) {

		Scanner scan = new Scanner(System.in);

		System.out.println(scan.next().replace("2017", "2018"));
	} main {

		Scanner scan = new Scanner(System.in);

		System.out.println(scan.next().replace("2017", "2018"));
	} Scanner scan = new Scanner(System.in); scan new Scanner(System.in) System.out.println(scan.next().replace("2017", "2018")) System.out.println System.out System System.out scan.next().replace("2017", "2018") scan.next().replace scan.next() scan.next scan "2017" "2018" String[] args args public class Main {

	public static void main(String[] args) {

		Scanner scan = new Scanner(System.in);

		System.out.println(scan.next().replace("2017", "2018"));
	}
} public class Main {

	public static void main(String[] args) {

		Scanner scan = new Scanner(System.in);

		System.out.println(scan.next().replace("2017", "2018"));
	}
} Main
import java.util.Scanner;

public class Main {

	public static void main(String[] args) {

		Scanner scan = new Scanner(System.in);

		System.out.println(scan.next().replace("2017", "2018"));
	}
}