import java.util.*;
// warm-up
// Yeah.. 2017 Rewriting 2017
public class Main {

	static void solve() {
		Scanner sc = new Scanner(System.in);
		System.out.println("2018"+sc.next().substring(4));
		sc.close();		
	}

	public static void main(String args[]) {
		solve();
	}

} import java.util.*; util.* java public class Main {

	static void solve() {
		Scanner sc = new Scanner(System.in);
		System.out.println("2018"+sc.next().substring(4));
		sc.close();		
	}

	public static void main(String args[]) {
		solve();
	}

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

	static void solve() {
		Scanner sc = new Scanner(System.in);
		System.out.println("2018"+sc.next().substring(4));
		sc.close();		
	}

	public static void main(String args[]) {
		solve();
	}

} public class Main {

	static void solve() {
		Scanner sc = new Scanner(System.in);
		System.out.println("2018"+sc.next().substring(4));
		sc.close();		
	}

	public static void main(String args[]) {
		solve();
	}

} Main
import java.util.*;
// warm-up
// Yeah.. 2017 Rewriting 2017
public class Main {

	static void solve() {
		Scanner sc = new Scanner(System.in);
		System.out.println("2018"+sc.next().substring(4));
		sc.close();		
	}

	public static void main(String args[]) {
		solve();
	}

}