import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

class Main {

    public static void main(String[] args) throws Exception {

        try {

            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));

            String dateString = br.readLine();
            String convertTo2018 = "2018" + dateString.substring(4, 10);

            System.out.println(convertTo2018);
        } catch (IOException | NumberFormatException e) {
            e.printStackTrace();
            System.exit(0);
        } catch (final Exception e) {
            e.printStackTrace();
            System.exit(0);
        }
    }
} import java.io.BufferedReader; BufferedReader java.io import java.io.IOException; IOException java.io import java.io.InputStreamReader; InputStreamReader java.io class Main {

    public static void main(String[] args) throws Exception {

        try {

            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));

            String dateString = br.readLine();
            String convertTo2018 = "2018" + dateString.substring(4, 10);

            System.out.println(convertTo2018);
        } catch (IOException | NumberFormatException e) {
            e.printStackTrace();
            System.exit(0);
        } catch (final Exception e) {
            e.printStackTrace();
            System.exit(0);
        }
    }
} Main public static void main(String[] args) throws Exception {

        try {

            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));

            String dateString = br.readLine();
            String convertTo2018 = "2018" + dateString.substring(4, 10);

            System.out.println(convertTo2018);
        } catch (IOException | NumberFormatException e) {
            e.printStackTrace();
            System.exit(0);
        } catch (final Exception e) {
            e.printStackTrace();
            System.exit(0);
        }
    } main {

        try {

            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));

            String dateString = br.readLine();
            String convertTo2018 = "2018" + dateString.substring(4, 10);

            System.out.println(convertTo2018);
        } catch (IOException | NumberFormatException e) {
            e.printStackTrace();
            System.exit(0);
        } catch (final Exception e) {
            e.printStackTrace();
            System.exit(0);
        }
    } try {

            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));

            String dateString = br.readLine();
            String convertTo2018 = "2018" + dateString.substring(4, 10);

            System.out.println(convertTo2018);
        } catch (IOException | NumberFormatException e) {
            e.printStackTrace();
            System.exit(0);
        } catch (final Exception e) {
            e.printStackTrace();
            System.exit(0);
        } catch (IOException | NumberFormatException e) {
            e.printStackTrace();
            System.exit(0);
        } IOException | NumberFormatException e {
            e.printStackTrace();
            System.exit(0);
        } e.printStackTrace() e.printStackTrace e System.exit(0) System.exit System 0 catch (final Exception e) {
            e.printStackTrace();
            System.exit(0);
        } final Exception e {
            e.printStackTrace();
            System.exit(0);
        } e.printStackTrace() e.printStackTrace e System.exit(0) System.exit System 0 {

            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));

            String dateString = br.readLine();
            String convertTo2018 = "2018" + dateString.substring(4, 10);

            System.out.println(convertTo2018);
        } BufferedReader br = new BufferedReader(new InputStreamReader(System.in)); br new BufferedReader(new InputStreamReader(System.in)) String dateString = br.readLine(); dateString br.readLine() br.readLine br String convertTo2018 = "2018" + dateString.substring(4, 10); convertTo2018 "2018" + dateString.substring(4, 10) "2018" dateString.substring(4, 10) dateString.substring dateString 4 10 System.out.println(convertTo2018) System.out.println System.out System System.out convertTo2018 String[] args args
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

class Main {

    public static void main(String[] args) throws Exception {

        try {

            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));

            String dateString = br.readLine();
            String convertTo2018 = "2018" + dateString.substring(4, 10);

            System.out.println(convertTo2018);
        } catch (IOException | NumberFormatException e) {
            e.printStackTrace();
            System.exit(0);
        } catch (final Exception e) {
            e.printStackTrace();
            System.exit(0);
        }
    }
}