#include<stdio.h>
int main(void) {
  getchar(); getchar(); getchar(); getchar();
  getchar(); getchar(); getchar(); getchar();
  int a;
  scanf("%d", &a);
  printf("2018/01/");
  if(a < 10)
    printf("0%d\n", a);
  else
    printf("%d\n", a);
  return 0;
}