#include <stdio.h>

int main() {
	int year = 0;
	char month_day[10] = { "\0" };
	scanf("%d[^-]", &year);
	scanf("%s", month_day);
	printf("%d%s", year+10, month_day);
	return 0;
}