import java.util.Scanner;
public class Main {
	private static Scanner sc;

	public static void main(String[] args) {
		sc = new Scanner(System.in);
		String input_str = sc.next();
		String before_fix = "2017";
		String after_fix = "2018";
		if(input_str.startsWith(before_fix)) {
			input_str = input_str.replaceFirst(before_fix,after_fix);
		};
		System.out.println(input_str);
	}
}

/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz