import java.util.*;
//import java.util.stream.Collectors;

public class Main{
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
		
		String s = sc.next();
		System.out.println(2018 + s.substring(4));
	}
} import java.util.*; util.* java public class Main{
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
		
		String s = sc.next();
		System.out.println(2018 + s.substring(4));
	}
} Main public static void main(String[] args){
		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){
		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){
		Scanner sc = new Scanner(System.in);
		
		String s = sc.next();
		System.out.println(2018 + s.substring(4));
	}
} Main
import java.util.*;
//import java.util.stream.Collectors;

public class Main{
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
		
		String s = sc.next();
		System.out.println(2018 + s.substring(4));
	}
}
