import java.util.Scanner;

public class Main {

	public static void main(String[] args) {

		String output;

		Scanner scanner = new Scanner(System.in);

		output = scanner.next();

		System.out.println(output.replace("2017", "2018"));
		scanner.close();

	}

} import java.util.Scanner; Scanner java.util public class Main {

	public static void main(String[] args) {

		String output;

		Scanner scanner = new Scanner(System.in);

		output = scanner.next();

		System.out.println(output.replace("2017", "2018"));
		scanner.close();

	}

} Main public static void main(String[] args) {

		String output;

		Scanner scanner = new Scanner(System.in);

		output = scanner.next();

		System.out.println(output.replace("2017", "2018"));
		scanner.close();

	} main {

		String output;

		Scanner scanner = new Scanner(System.in);

		output = scanner.next();

		System.out.println(output.replace("2017", "2018"));
		scanner.close();

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

	public static void main(String[] args) {

		String output;

		Scanner scanner = new Scanner(System.in);

		output = scanner.next();

		System.out.println(output.replace("2017", "2018"));
		scanner.close();

	}

} public class Main {

	public static void main(String[] args) {

		String output;

		Scanner scanner = new Scanner(System.in);

		output = scanner.next();

		System.out.println(output.replace("2017", "2018"));
		scanner.close();

	}

} Main
import java.util.Scanner;

public class Main {

	public static void main(String[] args) {

		String output;

		Scanner scanner = new Scanner(System.in);

		output = scanner.next();

		System.out.println(output.replace("2017", "2018"));
		scanner.close();

	}

}
