#include <stdio.h>

int main()
{
  int year = 0;
  int month = 0;
  int date = 0;
  while (scanf("%d %d %d", &year, &month, &date) == 3)
  {
    printf("%d/%d/%d\n", date, month, year);
  }

  return 0;
}