import java.util.*;
public class Main {
	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);

		System.out.println("2018"+sc.next().substring(4, 10));
	}
} import java.util.*; util.* java public class Main {
	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);

		System.out.println("2018"+sc.next().substring(4, 10));
	}
} Main public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);

		System.out.println("2018"+sc.next().substring(4, 10));
	} main {
		Scanner sc = new Scanner(System.in);

		System.out.println("2018"+sc.next().substring(4, 10));
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) System.out.println("2018"+sc.next().substring(4, 10)) System.out.println System.out System System.out "2018"+sc.next().substring(4, 10) "2018" sc.next().substring(4, 10) sc.next().substring sc.next() sc.next sc 4 10 String[] args args public class Main {
	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);

		System.out.println("2018"+sc.next().substring(4, 10));
	}
} public class Main {
	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);

		System.out.println("2018"+sc.next().substring(4, 10));
	}
} Main
import java.util.*;
public class Main {
	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);

		System.out.println("2018"+sc.next().substring(4, 10));
	}
}