#!/usr/local/bin/tcc -run
#include <stdio.h>

int main(void)
{
  int yyyy, mm, dd;

  scanf("%d",&yyyy);
  scanf("%d",&mm);
  scanf("%d",&dd);

  printf("Date of Birth:%d/%d/%d\n", mm, dd, yyyy); 

return 0;
}