#include <bits/stdc++.h>
using namespace std;

int main()
{
    freopen(".5.in","r",stdin);
    freopen(".5.out","w",stdout);
    int a, b, c;
    scanf("%d.%d.%d", &a,&b,&c);
    a -= 2000;
    printf("%02d%02d%02d-XXXXXXX", a, b, c);
}