import java.io.*;
import java.util.*;

public class Main {
    public static void main(String[] args) {
        new Main().solve();
    }

    void solve() {
        try {
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            System.out.println("2018" + s.substring(4));
        } catch (IOException e) {}
    }
} import java.io.*; io.* java import java.util.*; util.* java public class Main {
    public static void main(String[] args) {
        new Main().solve();
    }

    void solve() {
        try {
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            System.out.println("2018" + s.substring(4));
        } catch (IOException e) {}
    }
} Main public static void main(String[] args) {
        new Main().solve();
    } main {
        new Main().solve();
    } new Main().solve() new Main().solve new Main() String[] args args void solve() {
        try {
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            System.out.println("2018" + s.substring(4));
        } catch (IOException e) {}
    } solve {
        try {
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            System.out.println("2018" + s.substring(4));
        } catch (IOException e) {}
    } try {
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            System.out.println("2018" + s.substring(4));
        } catch (IOException e) {} catch (IOException e) {} IOException e {} {
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            System.out.println("2018" + s.substring(4));
        } BufferedReader reader = new BufferedReader(new InputStreamReader(System.in)); reader new BufferedReader(new InputStreamReader(System.in)) String s = reader.readLine(); s reader.readLine() reader.readLine reader System.out.println("2018" + s.substring(4)) System.out.println System.out System System.out "2018" + s.substring(4) "2018" s.substring(4) s.substring s 4 public class Main {
    public static void main(String[] args) {
        new Main().solve();
    }

    void solve() {
        try {
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            System.out.println("2018" + s.substring(4));
        } catch (IOException e) {}
    }
} public class Main {
    public static void main(String[] args) {
        new Main().solve();
    }

    void solve() {
        try {
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            System.out.println("2018" + s.substring(4));
        } catch (IOException e) {}
    }
} Main
import java.io.*;
import java.util.*;

public class Main {
    public static void main(String[] args) {
        new Main().solve();
    }

    void solve() {
        try {
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            System.out.println("2018" + s.substring(4));
        } catch (IOException e) {}
    }
}