#include <stdio.h>

int main() {
    int year, month, day;
    scanf("%d-%d-%d", &year, &month, &day);
    printf("%d-%02d-%02d\n", year + 10, month, day);
    return 0;
}