/* package whatever; // don't place package name! */

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 year =("2018");
	   String month = s.substring(4);
	   System.out.println(year + month);	
	}
} 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 year =("2018");
	   String month = s.substring(4);
	   System.out.println(year + month);	
	}
} Main public static void main (String[] args) throws java.lang.Exception
	{
		Scanner sc = new Scanner(System.in);
	   String s = sc.next();
	   String year =("2018");
	   String month = s.substring(4);
	   System.out.println(year + month);	
	} main {
		Scanner sc = new Scanner(System.in);
	   String s = sc.next();
	   String year =("2018");
	   String month = s.substring(4);
	   System.out.println(year + month);	
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String s = sc.next(); s sc.next() sc.next sc String year =("2018"); year ("2018") String month = s.substring(4); month s.substring(4) s.substring s 4 System.out.println(year + month) System.out.println System.out System System.out year + month year month String[] args args
/* package whatever; // don't place package name! */

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 year =("2018");
	   String month = s.substring(4);
	   System.out.println(year + month);	
	}
}