#include <stdio.h>

#define TRUE 1
#define FALSE 0

int numero_de_dias(int d0, int m0, int y0, int d1, int m1, int y1);
int datas_cmp(int d0, int m0, int y0, int d1, int m1, int y1);
int valida(int d, int m, int y);
int bissexto(int y);
void dia_seguinte(int *d, int *m, int *y);

int dia_da_semana(int d, int m, int y);
void prox_6af_13(int d, int m, int y, int *D, int *M, int *Y);

int main()
{
  int d, m, y, D, M, Y; 

  scanf("%d %d %d", &d, &m, &y);

  prox_6af_13(d, m, y, &D, &M, &Y);

  printf("Proxima 6a feira 13: %d/%d/%d\n", D, M, Y);
  
  return 0;
}

void prox_6af_13(int d, int m, int y, int *D, int *M, int *Y)
{
  while (d != 13 || dia_da_semana(d, m, y) != 5)
    dia_seguinte(&d, &m, &y);
  *D = d; *M = m; *Y = y;
}

int dia_da_semana(int d, int m, int y)
{
  int t = numero_de_dias(15, 10, 1582, d, m, y);
  return (t + 5) % 7;
}

int numero_de_dias(int d0, int m0, int y0, int d1, int m1, int y1)
{
  int t = 0;
  while (datas_cmp(d0, m0, y0, d1, m1, y1) < 0) {
    dia_seguinte(&d0, &m0, &y0);
    t++;
  }
  return t;
}

int datas_cmp(int d0, int m0, int y0, int d1, int m1, int y1)
{
  if (y0 < y1) return -1;
  else if (y0 > y1) return 1;

  if (m0 < m1) return -1;
  else if (m0 > m1) return 1;

  if (d0 < d1) return -1;
  else if (d0 > d1) return 1;

  return 0;
}

void dia_seguinte(int *d, int *m, int *y)
{
  if (valida(*d + 1, *m, *y)) (*d)++;
  else if (valida(1, *m + 1, *y)) {
    *d = 1;
    (*m)++;
  } else {
    *d = *m = 1;
    (*y)++;
  }
}

int valida(int d, int m, int y)
{
  int ultimo_dia = 31;

  if (m < 1 || m > 12) return FALSE;
  
  if (m == 4 || m == 6 || m == 9 || m == 11) ultimo_dia = 30;
  else if (m == 2) {
    if (bissexto(y)) ultimo_dia = 29;
    else ultimo_dia = 28;
  }

  if (d < 1 || d > ultimo_dia) return FALSE;

  return TRUE;
}

int bissexto(int y)
{
  if (y % 400 == 0) return TRUE;
  if (y % 100 == 0) return FALSE;
  return y % 4 == 0;
}