package main

import (
	"fmt"
	"strconv"
)

//                     1,   2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12
var days = [13]int{0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}

func main() {
	var s string
	fmt.Scan(&s)
	y, _ := strconv.Atoi(s[0:4])
	m, _ := strconv.Atoi(s[5:7])
	d, _ := strconv.Atoi(s[8:10])
	if y%4 == 0 && y%100 != 0 && y%400 == 0 {
		// leap year
		days[2] = 29
	}
	// fmt.Println("y", y, "m", m, "d", d, "days", days)
	if d+2 > days[m] {
		if d == days[m] {
			d = 2
		} else {
			d = 1
		}
		if m == 12 {
			m = 1
			y++
		} else {
			m++
		}
	} else {
		d += 2
	}

	fmt.Printf("%04d/%02d/%02d\n", y, m, d)
}