#include <stdio.h>

typedef struct TDate 
{
    int month;
    int day;
    int year;
}TDate;

void input(struct TDate *t)
{
    scanf("%4d %2d %2d",&t->year,&t->month,&t->day);
}
void print(struct TDate *p)
{
    printf("%d/",p->day);
    printf("%d/",p->month);
    printf("%d",p->year);
}
int main() {
    TDate date;
    input(&date);
    print(&date);

    return 0;
}