print((function (g, isLY, D)
	local y,m,d=g(function (a) a[3]=a[3]+2 return a end)
	if isLY(y) then D[2]=29 end
	if D[m]<d then m,d = m+1,d-D[m] end
	if m==13 then y,m=y+1,1 end
	return string.format("%d/%.02d/%.02d",y,m,d)
end)(function (f)
	local a={}
	for e in io.stdin:read("*l"):gmatch("%d+") do table.insert(a,tonumber(e)) end
	return unpack(f(a))
end, function (n)
	if n%100==0 then return n%400==0 end return n%4==0
end, {31;28;31;30;31;30;31;31;30;31;30;31}))