#include<stdio.h>
#include<string.h>
int main()
{
    char ar[100];
    getc(ar);
    int a=strlen(ar),i;
    printf("2018");
    for(i=4;i<a;i++)
    printf( "%c",ar[i]);
    printf("\n");
    return 0;

}