import java.util.*;
import java.io.*;
import java.nio.charset.StandardCharsets;

public class Main {
	public static void main(String[] args) throws IOException {
		InputStreamReader reader = new InputStreamReader(System.in, StandardCharsets.UTF_8);
		BufferedReader in = new BufferedReader(reader);
		char[] str = in.readLine().toCharArray();
		str[3] = '8';
		String s = new String(str);
		System.out.println(s);
	}
} import java.util.*; util.* java import java.io.*; io.* java import java.nio.charset.StandardCharsets; StandardCharsets java.nio.charset public class Main {
	public static void main(String[] args) throws IOException {
		InputStreamReader reader = new InputStreamReader(System.in, StandardCharsets.UTF_8);
		BufferedReader in = new BufferedReader(reader);
		char[] str = in.readLine().toCharArray();
		str[3] = '8';
		String s = new String(str);
		System.out.println(s);
	}
} Main public static void main(String[] args) throws IOException {
		InputStreamReader reader = new InputStreamReader(System.in, StandardCharsets.UTF_8);
		BufferedReader in = new BufferedReader(reader);
		char[] str = in.readLine().toCharArray();
		str[3] = '8';
		String s = new String(str);
		System.out.println(s);
	} main {
		InputStreamReader reader = new InputStreamReader(System.in, StandardCharsets.UTF_8);
		BufferedReader in = new BufferedReader(reader);
		char[] str = in.readLine().toCharArray();
		str[3] = '8';
		String s = new String(str);
		System.out.println(s);
	} InputStreamReader reader = new InputStreamReader(System.in, StandardCharsets.UTF_8); reader new InputStreamReader(System.in, StandardCharsets.UTF_8) BufferedReader in = new BufferedReader(reader); in new BufferedReader(reader) char[] str = in.readLine().toCharArray(); str in.readLine().toCharArray() in.readLine().toCharArray in.readLine() in.readLine in str[3] = '8' str[3] str 3 '8' String s = new String(str); s new String(str) 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) throws IOException {
		InputStreamReader reader = new InputStreamReader(System.in, StandardCharsets.UTF_8);
		BufferedReader in = new BufferedReader(reader);
		char[] str = in.readLine().toCharArray();
		str[3] = '8';
		String s = new String(str);
		System.out.println(s);
	}
} public class Main {
	public static void main(String[] args) throws IOException {
		InputStreamReader reader = new InputStreamReader(System.in, StandardCharsets.UTF_8);
		BufferedReader in = new BufferedReader(reader);
		char[] str = in.readLine().toCharArray();
		str[3] = '8';
		String s = new String(str);
		System.out.println(s);
	}
} Main
import java.util.*;
import java.io.*;
import java.nio.charset.StandardCharsets;

public class Main {
	public static void main(String[] args) throws IOException {
		InputStreamReader reader = new InputStreamReader(System.in, StandardCharsets.UTF_8);
		BufferedReader in = new BufferedReader(reader);
		char[] str = in.readLine().toCharArray();
		str[3] = '8';
		String s = new String(str);
		System.out.println(s);
	}
}
