import java.io.IOException;
import java.util.Scanner;

public class Main {

	public static void main(String[] args) throws NumberFormatException, IOException {

		Scanner sc = new Scanner(System.in);

		String s = sc.next();

		System.out.println("2018" + s.substring(4));
	}
} import java.io.IOException; IOException java.io import java.util.Scanner; Scanner java.util public class Main {

	public static void main(String[] args) throws NumberFormatException, IOException {

		Scanner sc = new Scanner(System.in);

		String s = sc.next();

		System.out.println("2018" + s.substring(4));
	}
} Main public static void main(String[] args) throws NumberFormatException, IOException {

		Scanner sc = new Scanner(System.in);

		String s = sc.next();

		System.out.println("2018" + s.substring(4));
	} main {

		Scanner sc = new Scanner(System.in);

		String s = sc.next();

		System.out.println("2018" + s.substring(4));
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String s = sc.next(); s sc.next() sc.next sc 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 String[] args args public class Main {

	public static void main(String[] args) throws NumberFormatException, IOException {

		Scanner sc = new Scanner(System.in);

		String s = sc.next();

		System.out.println("2018" + s.substring(4));
	}
} public class Main {

	public static void main(String[] args) throws NumberFormatException, IOException {

		Scanner sc = new Scanner(System.in);

		String s = sc.next();

		System.out.println("2018" + s.substring(4));
	}
} Main
import java.io.IOException;
import java.util.Scanner;

public class Main {

	public static void main(String[] args) throws NumberFormatException, IOException {

		Scanner sc = new Scanner(System.in);

		String s = sc.next();

		System.out.println("2018" + s.substring(4));
	}
}
