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

/* Name of the class has to be "Main" only if the class is public. */
class Main
{
	public static void main (String[] args) throws java.lang.Exception
	{
		Scanner sc = new Scanner (System.in);
		String s = sc.next();
		String ans = s.replace("2017","2018");
		System.out.println(ans);
		// your code goes here
	}
} import java.util.*; util.* java import java.lang.*; lang.* java import java.io.*; io.* java class Main
{
	public static void main (String[] args) throws java.lang.Exception
	{
		Scanner sc = new Scanner (System.in);
		String s = sc.next();
		String ans = s.replace("2017","2018");
		System.out.println(ans);
		// your code goes here
	}
} Main public static void main (String[] args) throws java.lang.Exception
	{
		Scanner sc = new Scanner (System.in);
		String s = sc.next();
		String ans = s.replace("2017","2018");
		System.out.println(ans);
		// your code goes here
	} main {
		Scanner sc = new Scanner (System.in);
		String s = sc.next();
		String ans = s.replace("2017","2018");
		System.out.println(ans);
		// your code goes here
	} Scanner sc = new Scanner (System.in); sc new Scanner (System.in) String s = sc.next(); s sc.next() sc.next sc String ans = s.replace("2017","2018"); ans s.replace("2017","2018") s.replace s "2017" "2018" System.out.println(ans) System.out.println System.out System System.out ans String[] args args
import java.util.*;
import java.lang.*;
import java.io.*;

/* Name of the class has to be "Main" only if the class is public. */
class Main
{
	public static void main (String[] args) throws java.lang.Exception
	{
		Scanner sc = new Scanner (System.in);
		String s = sc.next();
		String ans = s.replace("2017","2018");
		System.out.println(ans);
		// your code goes here
	}
}