Problem:
Score : 100 points

Problem Statement

On some day in January 2018, Takaki is writing a document. The document has a column where the current date is written in yyyy/mm/dd format. For example, January 23, 2018 should be written as 2018/01/23.

After finishing the document, she noticed that she had mistakenly wrote 2017 at the beginning of the date column. Write a program that, when the string that Takaki wrote in the date column, S, is given as input, modifies the first four characters in S to 2018 and prints it.

Constraints

S is a string of length 10.

The first eight characters in S are 2017/01/.

The last two characters in S are digits and represent an integer between 1 and 31 (inclusive).

Input

Input is given from Standard Input in the following format:

S

Output

Replace the first four characters in S with 2018 and print it.

Sample Input 1

2017/01/07

Sample Output 1

2018/01/07

Sample Input 2

2017/01/31

Sample Output 2

2018/01/31

Solution in C (GCC 5.4.1) (judge verdict: Time Limit Exceeded)

#include <stdio.h>
#include <stdlib.h>

int main()
{
	int N, Y;
	int x = 0, y = 0, z = 0; // 10000 5000 1000
	int yen;

	scanf("%d",&N);
	scanf("%d",&Y);

	yen = Y;

	while (x + y + z != N) {
		if (Y % 1000 != 0) {
			printf("-1 -1 -1\n");
			break;
		}
		else if (Y > 10000 * N) {
			printf("-1 -1 -1\n");
			break;
		}else{}
		
		for (x = 0; x <= N; x++) {
			for (y = 0; y <= N; y++) {
				for (z = 0; z <= N; z++) {
					Y = Y - 10000 * x;
					Y = Y - 5000 * y;
					Y = Y - 1000 * z;
					if ((x + y + z) == N && Y == 0) {
						printf("%d\t%d\t%d\t\n", x, y, z);
						exit(1);
					}
					else
						Y = yen;
				}
			}
		}
	}
    return 0;
}