import java.util.Scanner;

public class Main {
	public static void main(String[] args) {
		Scanner scan = new Scanner(System.in);
		String s = scan.next();
		s = s.replace("2017", "2018");
		System.out.println(s);
	}
} import java.util.Scanner; Scanner java.util public class Main {
	public static void main(String[] args) {
		Scanner scan = new Scanner(System.in);
		String s = scan.next();
		s = s.replace("2017", "2018");
		System.out.println(s);
	}
} Main public static void main(String[] args) {
		Scanner scan = new Scanner(System.in);
		String s = scan.next();
		s = s.replace("2017", "2018");
		System.out.println(s);
	} main {
		Scanner scan = new Scanner(System.in);
		String s = scan.next();
		s = s.replace("2017", "2018");
		System.out.println(s);
	} Scanner scan = new Scanner(System.in); scan new Scanner(System.in) String s = scan.next(); s scan.next() scan.next scan s = s.replace("2017", "2018") s s.replace("2017", "2018") s.replace s "2017" "2018" 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 scan = new Scanner(System.in);
		String s = scan.next();
		s = s.replace("2017", "2018");
		System.out.println(s);
	}
} public class Main {
	public static void main(String[] args) {
		Scanner scan = new Scanner(System.in);
		String s = scan.next();
		s = s.replace("2017", "2018");
		System.out.println(s);
	}
} Main
import java.util.Scanner;

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