Problem:
 Score : 100 points    Problem Statement On some day in January 2018 , Takaki is writing a document. The document has a column where the current date is written in yyyy/mm/dd format. For example, January 23 , 2018 should be written as 2018/01/23 .  After finishing the document, she noticed that she had mistakenly wrote 2017 at the beginning of the date column. Write a program that, when the string that Takaki wrote in the date column, S , is given as input, modifies the first four characters in S to 2018 and prints it.      Constraints  S is a string of length 10 .  The first eight characters in S are 2017/01/ .  The last two characters in S are digits and represent an integer between 1 and 31 (inclusive).         Input Input is given from Standard Input in the following format:  S       Output Replace the first four characters in S with 2018 and print it.        Sample Input 1 2017/01/07      Sample Output 1 2018/01/07       Sample Input 2 2017/01/31      Sample Output 2 2018/01/31

Solution (Python):
S = input()
print('2018' + S[4:])

Solution (Python):
import re
s=input()
result=re.fullmatch(r'(\d{3})(\d)/(\d{2})/(\d{2})',s)
print(result.group(1)+'8/'+result.group(3)+'/'+result.group(4))

Solution (Python):
s = input()

print('2018'+s[4:])

Solution (Python):
import sys
sys.setrecursionlimit(4100000)
import math
INF = 10**9

def main():
    S = input()

    print('2018' + S[4:])


if __name__ == '__main__':
    main()

Solution (Python):
print("2018/01/"+input()[8:])

Solution (Python):
s = input()
print('2018'+s[4:])

Solution (Python):
s = input()
print("2018"+s[4:])

Solution (Python):
import re
s=input()
print(re.sub(r"2017",r"2018",s))

Solution (Python):
print("2018"+input()[4:])

Solution (Python):
import sys
sys.setrecursionlimit(10**6)
input = lambda: sys.stdin.readline().rstrip()

s = input()
print(s.replace("2017/","2018/"))

Solution (Python):
s=input()


print("2018"+s[4::])

Solution (Python):

s=list(input().split("/"))



print("2018/"+s[1]+"/"+s[2])

Solution (Python):
S = input()
print(S.replace('2017/01/', '2018/01/'))

Solution (Python):
S = input()
print("2018" + S[4:])

Solution (Python):
s=list(input())
s[3]='8'
print(''.join(s))

Solution (Python):


import sys






























def main():
    mod = 1000000007                
    inf = float('inf')              
    
    sys.setrecursionlimit(10**6)    
    def input(): return sys.stdin.readline().rstrip()
    def ii():    return int(input())
    def mi():    return map(int, input().split())
    def mi_0():  return map(lambda x: int(x)-1, input().split())
    def lmi():   return list(map(int, input().split()))
    def lmi_0(): return list(map(lambda x: int(x)-1, input().split()))
    def li():    return list(input())
    
    
    s = input()
    print('2018' + s[4:])


if __name__ == "__main__":
    main()

Solution (Python):
S = str(input())

print("2018"+S[4:])

Solution (Python):
char = input()

index = 3
print(char[:index] + '8' + char[index + 1:])

Solution (Python):
import sys
sys.setrecursionlimit(10**8)
def ii(): return int(sys.stdin.readline())
def mi(): return map(int, sys.stdin.readline().split())
def li(): return list(map(int, sys.stdin.readline().split()))
def li2(N): return [list(map(int, sys.stdin.readline().split())) for _ in range(N)]
def dp2(ini, i, j): return [[ini]*i for _ in range(j)]
def dp3(ini, i, j, k): return [[[ini]*i for _ in range(j)] for _ in range(k)]




S = input()
print(S[:3] + '8' + S[4:])

Solution (Python):
s = input()
print(s.replace('2017', '2018'))

Solution (Python):
S = input()
print("2018"+S[4:])

Solution (Python):
S = input()
print("2018"+S[4:10])

Solution (Python):
print("2018"+input()[4:])

Solution (Python):
S = input()
print(S.replace("2017", "2018"))

Solution (Python):
import sys
sys.setrecursionlimit(1 << 25)
read = sys.stdin.readline

def main():
    a,b,c = read().split('/')
    if a == '2017':
        a = '2018'
    print("{}/{}/{}".format(a,b,c))

if __name__ == '__main__':
    main()

Solution (Python):
S = list(input())

S[3] = "8"
S = "".join(S)

print(S)

Solution (Python):
S = list(input())
S[3] = '8'
print(''.join(S))

Solution (Python):
S = list(input())

S[0] = '2'
S[1] = '0'
S[2] = '1'
S[3] = '8'

print(''.join(S))

Solution (Python):
S = input()
S_2 = S.replace("2017","2018")
print(S_2)

Solution (Python):



s = input()
print("2018" + s[4:])

Solution (Python):
S = str(input())

a = S[:4]
b = S[4:]

if a == "2017":
    a = "2018"
    i = a + b
    print(i)
else:
    print(S)

Solution (Python):
S=input()
S="2018"+S[4:]
print(S)

Solution (Python):
s = list(input())
s[3] = '8'
print(*s,sep="")

Solution (Python):
def resolve():
  s = input()
  s = s.replace('2017', '2018')
  print(s)
  return

if __name__ == "__main__":
  resolve()

Solution (Python):
wrong_date = input()
exact_date = wrong_date.replace('7', '8', 1)
print(exact_date)

Solution (Python):
print((input().replace("017","018")))

Solution (Python):
s = input()

print("2018"+s[4:])

Solution (Python):
S = input()
print(S[:3]+"8"+S[4:])

Solution (Python):
S = input()
S = S[:3] + '8' + S[4:10]
print(S)

Solution (Python):
s = str(input())
ans = s[:3] + '8' + s[4:10]
print(ans)

Solution (Python):
import sys

sys.setrecursionlimit(10 ** 9)
MOD = 10 ** 9 + 7

S = list(input())
S[3] = '8'

print (''.join(S))

Solution (Python):
S = input()

ans = '2018' + S[4:]

print(ans)

Solution (Python):
S = input().strip()
print("2018"+S[4:])

Solution (Python):
s = list(str(input()))
s[3] = '8'
print(''.join(s))

Solution (Python):
import sys
input = sys.stdin.readline
from collections import *

S = list(input()[:-1])
S[3] = '8'
print(''.join(S))

Solution (Python):
s = input()
print("2018"+s[4:])

Solution (Python):
s = input()
print("2018" + s[4:])

Solution (Python):
s = input()
print('2018' + s[4:])

Solution (Python):
S = list(input())
S[3] = '8'
print(*S, sep="")

Solution (Python):
s=input()

print("2018"+s[4:])

Solution (Python):
inf = 10 ** 15
mod = 10 ** 9 + 7

s = list(input())
s[3] = '8'
print(''.join(s))

Solution (Python):
s = input()
print(s.replace('2017', '2018'))

Solution (Python):
def main():
    s = input()
    print(s.replace("2017", "2018"))


if __name__ == "__main__":
    main()

Solution (Python):
print('2018' + input()[4:])

Solution (Python):
x = list(input())
x[3] = "8"
print("".join(x))

Solution (Python):
S = list(input())
S[3] = '8'
print(''.join(S))

Solution (Python):
s = input()
print('2018' + s[4:])

Solution (Python):
s = list(input())
s[3] = '8'
print(''.join(s))

Solution (Python):
print(input().replace("2017","2018"))

Solution (Python):
s = input().split('/')
s[0] = '2018'
print('/'.join(s))

Solution (Python):
S = input()

S=S.replace('2017','2018')

print(S)

Solution (Python):
import collections


def inputStrOnebyOne():
    s = list(input())
    return s


def inputOnebyOne_Int():
    a = list(int(x) for x in input().split())
    return a

def main():
    s = inputStrOnebyOne()
    s[3] = 8
    print(''.join(map(str,(s))))

if __name__=='__main__':
    main()

Solution (Python):
s = input()
print('2018'+s[4:])

Solution (Python):
s= input()
print(s.replace('7', '8',1))

Solution (Python):
s= input()
print(s.replace('7', '8',1))

Solution (Python):
s= input()
print(s.replace('7', '8',1))

Solution (Python):
S=input()
print("2018"+S[4:])

Solution (Python):
s = input()
print(s.replace("2017","2018"))

Solution (Python):
s = input()
print("2018"+s[4:])

Solution (Python):
s = input()
print(s.replace('2017', '2018'))

Solution (Python):
li = list(input())
li[3] = '8'
print(*li, sep='')

Solution (Python):
s = input()
print(s[:3]+'8'+s[4:])

Solution (Python):

S = list(input())
S[3] = '8'
print(''.join(S))

Solution (Python):
ds=str(input())
ds=ds.replace("2017","2018")
print(ds)

Solution (Python):
s = str(input())

print("2018/01/{}{}".format(s[-2],s[-1]))

Solution (Python):
s = input()

print("2018" + s[4:])

Solution (Python):
s1, s2, s3 = input().split('/')
s = '2018' + '/' + s2 + '/' + s3
print(s)

Solution (Python):
a,b,c=map(str,input().split('/'))
a='2018'
print(a,b,c,sep='/')

Solution (Python):
S = input()
S = S.replace('2017', '2018')
print(S)

Solution (Python):
print(input().replace("2017","2018"))

Solution (Python):
s = input()
print("2018" + s[4:])

Solution (Python):
s = input()
s = s.split('/')
s[0] = '2018'
print('/'.join(s))

Solution (Python):
s = input()
print(s[:3] + "8" + s[4:])

Solution (Python):
print("2018"+input()[4:])

Solution (Python):
S = input()
print('2018' + S[4:])

Solution (Python):
s = input()

print('2018' + s[4:])

Solution (Python):
s=str(input())
print(s[:3]+'8'+s[4:])

Solution (Python):
n=input()

n=n[:3] + '8' + n[4:]

print(n)

Solution (Python):
s = input()

ans = '2018' + s[4:]
print(ans)

Solution (Python):


def main():
    s = input()

    print(s.replace('2017', '2018'))

if __name__ == '__main__':
    main()

Solution (Python):
s = input()
print('2018/01/' + s[-2:])

Solution (Python):
s = input()
change = "2018" + s[4:len(s)]
print(change)

Solution (Python):
S = input()
print(S.replace("2017","2018"))

Solution (Python):




s = input()



print("2018"+s[4:])

Solution (Python):
s = input()
print(s.replace('2017', '2018'))

Solution (Python):
def main():
    S = input()
    S = S.replace('2017','2018')
    print(S)


if __name__ == '__main__':
    main()

Solution (Python):
S = list(input())
S[3] = "8"
print(''.join(S))

Solution (Python):
def resolve():
	s = input()
	print('2018' + s[4:])
resolve()

Solution (Python):
s = input()
print(s.replace("7","8",1))

Solution (Python):
import re
s = input()
print(re.sub('2017', '2018', s))

Solution (Python):
s = input()
print(s.replace('2017', '2018'))

Solution (Python):
a=input()
s=a[:3]+"8"+a[4:]
print(s)

Solution (Python):
def ABC_85_A():
    S = input()
    S = list(S)
    S[3] = '8'
    S = ''.join(S)
    print(S)

if __name__ == '__main__':

    ABC_85_A()

Solution (Python):
print('2018'+input()[4:])

Solution (Python):

s=list(input())
s[0:4]='2018'

for i in range(len(s)):
    print(s[i],end='')

Solution (Python):
s  = input().split('/')
print('2018/' + s[1] + '/' + s[2])

Solution (Python):
def main():
    
    print(input().replace('2017', '2018', 1))
    


if __name__ == '__main__':
    main()

Solution (Python):

s = input()


print(s.replace('7', '8', 1))

Solution (Python):
def main():
    print(input().replace('2017','2018'))

if __name__ == '__main__':
    main()

Solution (Python):
S = input()
print('2018'+S[4:])

Solution (Python):
S = input()
print('2018' + S[4:])

Solution (Python):
S = input()
print('2018'+S[4:])

Solution (Python):
S = input()
print(S.replace('2017', '2018'))

Solution (Python):
s = list(map(str,input().split("/")))

if s[0] == "2017":
    s[0] = "2018"

print(s[0]+"/"+s[1]+"/"+s[2])

Solution (Python):
print(input().replace("7","8",1))

Solution (Python):
s = input().split('/')
s[0] = '2018'
print(s[0]+'/'+s[1]+'/'+s[2])

Solution (Python):
import datetime

S = input()
S = datetime.datetime.strptime(S, '%Y/%m/%d')



a = int(S.year)

if a != 2018:
    S = S.replace(2018)
    
print(S.strftime('%Y/%m/%d'))

Solution (Python):
import sys
sys.setrecursionlimit(10 ** 5 + 10)
def input(): return sys.stdin.readline().strip()

def resolve():
    s=str(input())
    print('2018'+s[4:])

    
resolve()

Solution (Python):
import sys
def input(): return sys.stdin.readline().strip()

def resolve():
    s=input()
    print('2018'+s[4:])
resolve()

Solution (Python):

S = input()
print("2018"+S[4:])

Solution (Python):
s=input()
s="2018"+s[4:]
print(s)

Solution (Python):
s = input()
s = s.split('/', 1)
print('2018/'+s[1])

Solution (Python):
s = input()
s = s.split('/', 1)
print('2018/'+s[1])

Solution (Python):
S = input()
print("2018"+S[4:])

Solution (Python):
s=input()
a=s[4:]
print("2018"+a)

Solution (Python):
date = input()

new_date = "2018/01/" + date[-2:]

print(new_date)

Solution (Python):
print(input().replace('2017', '2018'))

Solution (Python):
S = input()
print(S.replace("2017", "2018"))

Solution (Python):
s = input()
print(s.replace(s[0:4], '2018'))

Solution (Python):
print(input().replace('2017','2018'))

Solution (Python):

s = input()
ss = s.replace("7","8",1)
print(ss)

Solution (Python):
A = list(input())
A[0:4] = "2018"
print("".join(A))

Solution (Python):
A = list(input())
A[3] = "8"
for a in A:
    print(a, end='')

Solution (Python):
S = input()
print(S.replace("2017", "2018"))

Solution (Python):
a, b, c = input().split('/')
a = '2018'
print(a+'/'+b+'/'+c)

Solution (Python):
s = input()
print('2018'+s[4:])

Solution (Python):
s = list(input())
s[3] = '8'
print("".join(s))

Solution (Python):


S = input()

print("2018"+S[4:])

Solution (Python):
s=input()
s1=s.replace('7','8',1)
print(s1)

Solution (Python):
s=input()
s1=s.replace('7','8',1)
print(s1)

Solution (Python):
s = input()
print(s.replace('2017', '2018'))

Solution (Python):
s=input()
print(s.replace("2017","2018"))

Solution (Python):
n = input().split("/")

if n[0] == "2017":
    n[0] = "2018"
print(n[0]+"/"+n[1]+"/"+n[2])

Solution (Python):
A =  input()
A = A.replace('2017', '2018') 
print(A)

Solution (Python):
s = input()
print('2018'+s[4:])

Solution (Python):
from sys import stdin


if __name__ == "__main__":
    _in = [_.rstrip() for _ in stdin.readlines()]
    S =     _in[0]   
    
    s = '2018'+S[4:]
    
    print(s)

Solution (Python):
print(input().replace('2017','2018'))

Solution (Python):
print("2018"+str(input())[4:])

Solution (Python):
S = input()
print('2018'+S[4:])

Solution (Python):
s = input()

print(s.replace("2017", "2018"))

Solution (Python):
print("2018" + input()[4:])

Solution (Python):
print (input().replace('2017/','2018/'))

Solution (Python):
S=input()
year=int(S[:4])
year+=1
print(str(year)+"/"+S[5:])

Solution (Python):
S = input()
print('2018' + S[4:])

Solution (Python):
a=input()
print(a[:3]+"8"+a[4:])

Solution (Python):
s=input()
print('2018'+s[4:])

Solution (Python):
S = input()
c =  "2018" + S[4:] 
print(c)

Solution (Python):
S=input()
t=S.replace('2017', '2018')
print(t)

Solution (Python):
print('2018'+input()[4:])

Solution (Python):
data = list(input().split("/"))

data[0] = "2018"
print("/".join(data))

Solution (Python):
import sys
import itertools
sys.setrecursionlimit(1000000000)
from heapq import heapify,heappop,heappush,heappushpop

import collections

s = list(input())
if s[3] == "7":
    s[3] = "8"
ans = ""
for i in range(len(s)):
    ans += s[i]
print(ans)

Solution (Python):
s = input()
print("2018/01/"+s[-2:])

Solution (Python):
n = input().split('/')
print('2018/' + n[1] +'/'+n[2])

Solution (Python):
y, m, d = input().split('/')

ans = '2018/'+m+'/'+d

print(ans)

Solution (Python):
print(input().replace("7","8",1))

Solution (Python):
print("2018"+input()[4:])

Solution (Python):
s=input()
print("2018"+s[4:])

Solution (Python):

def resolve():
    
    n = input()
    
    
    
    
    
    
    
    
    m = n[:3] + "8" + n[4:]

    print(m)


resolve()

Solution (Python):
s=input()
print("2018"+s[4:])

Solution (Python):
moji=list(input())
moji[3]="8"
for moji in moji:
    print(moji,end="")

Solution (Python):
import sys, re
from collections import deque, defaultdict, Counter
from math import ceil, sqrt, hypot, factorial, pi, sin, cos, radians
from itertools import accumulate, permutations, combinations, product, groupby
from operator import itemgetter, mul
from copy import deepcopy
from string import ascii_lowercase, ascii_uppercase, digits
from bisect import bisect, bisect_left
from fractions import gcd
from heapq import heappush, heappop
from functools import reduce
def input(): return sys.stdin.readline().strip()
def INT(): return int(input())
def MAP(): return map(int, input().split())
def LIST(): return list(map(int, input().split()))
def ZIP(n): return zip(*(MAP() for _ in range(n)))
sys.setrecursionlimit(10 ** 9)
INF = float('inf')
mod = 10 ** 9 + 7

S = input()

for i in range(3):
	print(S[i], end = "")
print("8",end = "")
for i in range(4,10):
	print(S[i], end = "")
print()

Solution (Python):
s = input()
print(s.replace('2017', '2018'))

Solution (Python):
s=input()
print('2018'+s[4:])

Solution (Python):
N=input()
print('2018'+N[4:])

Solution (Python):
s = input()
print('2018/01/' + s[8:])

Solution (Python):
s = input()
print("2018" + s[4:])

Solution (Python):
S = input()

S_changed = S[:3] + "8" + S[4:]

print(S_changed)

Solution (Python):
s = list(input())
s[:4] = list('2018')
print(''.join(s))

Solution (Python):
s = input()

print(s.replace("2017", "2018"))

Solution (Python):
s = input()
print(s[:3]+"8"+s[4:])

Solution (Python):
S=input()
SS=S.replace('2017','2018')
print(SS)

Solution (Python):
if __name__ == "__main__":
    s = input()

    print('2018'+s[4:])

Solution (Python):
S = input()
print('2018' + S[4:])

Solution (Python):
S = input()
print('2018/01/'+S[-2:])

Solution (Python):
s = input()
print('2018'+s[4:])

Solution (Python):
S=input()
s=""
for i in range(10):
    if i==3:
        s+="8"
    else:
        s+=S[i]
print(s)

Solution (Python):
s=input()
print("2018"+s[4::])

Solution (Python):
a=list(input())

a[3] = "8"
print("".join(a))

Solution (Python):
S = list(input())
S[3] = "8"
print("".join(S))

Solution (Python):
s = list(input())
s[3] = '8'
ans = "".join(s)
print(ans)

Solution (Python):
date = input().split('/')

date[0] = '2018'

print('/'.join(date))

Solution (Python):
s=input()
u=list(s)
u[3]="8"
k="".join(u)
print(k)

Solution (Python):
import sys
input = sys.stdin.readline
sys.setrecursionlimit(10**7)
from collections import Counter, deque

from itertools import combinations, permutations, accumulate, groupby, product
from bisect import bisect_left,bisect_right
from heapq import heapify, heappop, heappush
from math import floor, ceil,pi

from copy import deepcopy
def I(): return int(input())
def MI(): return map(int, input().split())
def LI(): return list(map(int, input().split()))
def LI2(): return [int(input()) for i in range(n)]
def MXI(): return [LI()for i in range(n)]
inf = 10**17
mod = 10**9 + 7

s=input()
u=list(s)
u[3]="8"
k="".join(u)
print(k)

Solution (Python):
line = input()
print("2018" + line[4:10])

Solution (Python):
s = input()
print("2018" + s[4:10])

Solution (Python):
s = input()
print("2018" + s[4:10])

Solution (Python):
import sys

IS = lambda: sys.stdin.readline().rstrip()
II = lambda: int(IS())
MII = lambda: list(map(int, IS().split()))
MIIZ = lambda: list(map(lambda x: x-1, MII()))

INIT_VAL = 0
MD2 = lambda d1,d2: [[INIT_VAL]*d2 for _ in range(d1)]
MD3 = lambda d1,d2,d3: [MD2(d2,d3) for _ in range(d1)]

DIVC = lambda x,y: -(-x//y)
DIVF = lambda x,y: x//y

def main():
    print('2018'+IS()[4:])

if __name__ == '__main__':
    main()

Solution (Python):
li = input().split("/")
li[0]="2018"
ans = li[0]+"/"+li[1]+"/"+li[2]
print(ans)

Solution (Python):
S = input()

print(S[:3]+ "8" + S[4:] )

Solution (Python):
S = list(input())

S[3] = "8"

print("".join(S))

Solution (Python):
print("2018"+input()[4:])

Solution (Python):
print("2018"+input()[4:])

Solution (Python):
import sys

IS = lambda: sys.stdin.readline().rstrip()
II = lambda: int(IS())
MII = lambda: list(map(int, IS().split()))
MIIZ = lambda: list(map(lambda x: x-1, MII()))

INIT_VAL = 0
MD2 = lambda d1,d2: [[INIT_VAL]*d2 for _ in range(d1)]
MD3 = lambda d1,d2,d3: [MD2(d2,d3) for _ in range(d1)]

DIVC = lambda x,y: -(-x//y)
DIVF = lambda x,y: x//y

def main():
    print('2018'+IS()[4:])

if __name__ == '__main__':
    main()

Solution (Python):
s = input()
print(s[:3]+str(8)+s[4:])

Solution (Python):
S = input()
print(S.replace("7","8",1))

Solution (Python):

import sys
sys.setrecursionlimit(10**9)
INF=10**18
MOD=10**9+7
input=lambda: sys.stdin.readline().rstrip()
YesNo=lambda b: bool([print('Yes')] if b else print('No'))
YESNO=lambda b: bool([print('YES')] if b else print('NO'))
int1=lambda x:int(x)-1

def main():
    print('2018'+input()[4:])

if __name__ == '__main__':
    main()

Solution (Python):
print(input().replace('2017', '2018'))

Solution (Python):
s = input()
ss = s.replace('2017' , '2018')
print(ss)

Solution (Python):
S=list(input())
S[3]="8"
print("".join(S))

Solution (Python):
S = input()
print("2018"+S[4::1])

Solution (Python):
a,b,c=input().split("/")

print(int(a)+1,b,c,sep=("/"))

Solution (Python):
print("2018" + input()[4:])

Solution (Python):
s = input()
res = []
for i in range(len(s)):
    if i == 3:
        res.append(8)
    
    else:
        res.append(s[i])
    
print("".join(map(str, res)))

Solution (Python):
print('2018/01/'+input()[8:])

Solution (Python):
S=str(input())
S=S[:3]+"8"+S[4:]
print(S)

Solution (Python):
S = input().split("/")
S[0]= "2018"
print("/".join(S))

Solution (Python):
print(input().replace("2017", "2018"))

Solution (Python):
S = input()
print('2018'+S[4:])

Solution (Python):
S = input().split('/')
S[0] = '2018'
print('/'.join(S))

Solution (Python):
S = list(input())
S[3] = '8'
print(''.join(S))

Solution (Python):
s=list(input())
s[0:4]=["2","0","1","8"]
print("".join(s))

Solution (Python):
N = list(input())
print("2018/01/"+N[-2]+N[-1])

Solution (Python):
date = input()
print(date[:3] + "8" + date[4:])

Solution (Python):
S = input()

print("2018/" + S[5] + S[6] + S[7] + S[8] + S[9])

Solution (Python):
S = input()

print("2018/01/" + S[8:10])

Solution (Python):
S=input()
print(S.replace('2017', '2018'))

Solution (Python):
s=input()
print(s.replace('2017','2018'))

Solution (Python):
s = input()
print(s.replace("2017", "2018"))

Solution (Python):
s = input()
print('2018' + s[4:])

Solution (Python):
S = list(input())
S[3] = '8'
print(''.join(S))

Solution (Python):
s = str(input())
print(s[:3] + "8" + s[4:])

Solution (Python):
S=str(input())
print('2018/'+S[5:10])

Solution (Python):
s = input()
print(s[:3] + '8'+s[4:])

Solution (Python):
S=input()
S_list=list(S)
S_list[3]="8"
S_mojiretu="".join(S_list)
print(S_mojiretu)

Solution (Python):
s= input()
if s[:4]=='2017':
  print('2018'+s[4:])
else:
  print(s)

Solution (Python):
print(input().replace('2017/01/', '2018/01/'))

Solution (Python):
s=list(input())
s[3]="8"
print("".join(s))

Solution (Python):
print(input().replace('2017', '2018'))

Solution (Python):
S = input()
print('2018'+S[4:])

Solution (Python):
s = input()
print("2018" + s[4:])

Solution (Python):
s=input()
ns = s[:3] + '8' + s[4:]
print(ns)

Solution (Python):
datestr = input()

if (datestr[0:8] == '2017/01/'):
    ans = datestr.replace("2017",'2018')
    
print(ans)

Solution (Python):
print(input().replace('2017','2018'))

Solution (Python):
S=input()
print("2018"+S[4:])

Solution (Python):
s = input()
print(s[:3]+"8"+s[4:])

Solution (Python):
date = input()
print(date.replace("2017","2018"))

Solution (Python):
S = input()
K = S[4:len(S)]
print("2018"+K)

Solution (Python):
s=input()
d=list(s)
d[3]="8"
print("".join(d))

Solution (Python):
def main():
    date = input()
    print(date.replace("2017", "2018"))
main()

Solution (Python):
print('2018'+input()[4:])

Solution (Python):
N = list(input())

N[3] = "8"

print("".join(N))

Solution (Python):
S = input()
print('2018/01/{}{}'.format(S[8], S[9]))

Solution (Python):
s=input()
print(s.replace('2017','2018'))

Solution (Python):
S=input()
Ans =S.replace('2017','2018')
print(Ans)

Solution (Python):

def resolve():
    S = input()
    print(S[:3]+'8'+S[4:])


if '__main__' == __name__:
    resolve()

Solution (Python):
S = input()
print(S.replace("2017", "2018"))

Solution (Python):
x=input().split("/")
print("2018/{}/{}".format(x[1],x[2]))

Solution (Python):
s = input()

print("2018" + s[4:])

Solution (Python):
s = input()
print("2018/01" + s[len("2017/01"):])

Solution (Python):
s = str(input())
nw = "2018/01/" + s[8:10]
print(nw)

Solution (Python):
s = input()

print("2018"+s[4:])

Solution (Python):
icase=0    
if icase==0:
    s=input()
    s2=s[:3]+"8"+s[4:]
    print(s2)

Solution (Python):
s = input()
s = s.replace('2017','2018')
print(s)

Solution (Python):
s = input()
s = s.replace('2017','2018')
print(s)

Solution (Python):
S = input()
print("2018"+S[4:])

Solution (Python):
s=input()
print(s.replace('2017','2018'))

Solution (Python):
s = input()

print('2018'+s[4:])

Solution (Python):
s = list(input())

s[3] = 8
for i in range(len(s)):
    print(s[i],end="")

Solution (Python):
s = input()
print(s.replace('2017', '2018'))

Solution (Python):
print(input().replace("2017","2018"))

Solution (Python):
s=list(input())
s[3]='8'
print(''.join(str(i) for i in s))

Solution (Python):
S = input()
print("2018"+S[4:])

Solution (Python):
s = input()
print('2018/01/' + s[-2:])

Solution (Python):
s=list(input())
s[3]="8"
a=""
for i in range(len(s)):
    a+=s[i]
print(a)

Solution (Python):
print(input().replace("7", "8", 1))

Solution (Python):
s = list(map(str,input()))
s[3] = "8"
print(*s,sep="")

Solution (Python):



S = input()



print("2018" + S[4:])

Solution (Python):
S = input()

ans = []

for i in range(len(S)):
    if i == 3:
        ans.append('8')
    else:
        ans.append(S[i])
        
print(''.join(ans))

Solution (Python):
S = input()
print(S.replace('17', '18'))

Solution (Python):
s=input()
print(s[:3]+'8'+s[4:])

Solution (Python):

s = list(input())
s[3] = "8"
print("".join(s))

Solution (Python):
s = str(input())
ans = '2018' + s[4:]
print(ans)

Solution (Python):
s = str(input())
print('2018'+s[4::])

Solution (Python):
S = str(input())

print(S.replace('7', '8', 1))

Solution (Python):
s = input()
print(s[:3]+'8'+s[4:])

Solution (Python):
S = input()
print(S[:3]+"8"+S[4:])

Solution (Python):
s = input()
print("2018" + s[4:])

Solution (Python):
print("2018" + input()[4:])

Solution (Python):
s = list(input())
s1 = "2018"
for i in range(4):
    s[i] = s1[i]

print("".join(s))

Solution (Python):
a = input()

a = list(str(a))
a[3]="8"
a="".join(a)

print(a)

Solution (Python):
s = input()
print(s[:3]+'8'+s[4:])

Solution (Python):
s = list(input())
s[3] = "8"
print("".join(s))

Solution (Python):
s=input()
print(s.replace('2017','2018'))

Solution (Python):
sam = input()
sim = sam.replace('7', '8', 1)
print(sim)

Solution (Python):
date_str = list(input())
date_str[3] = '8'

print(''.join(date_str))

Solution (Python):
date_str = list(input())

str = ''
done = False
for date in date_str:
    if not done and date == '7':
        str+= '8'
        done = True
    else:
        str+=date

print(str)

Solution (Python):
s=list(input())
s[3]='8'
for i in s:
  print(i,end='')

Solution (Python):
print(input().replace("2017", "2018"))

Solution (Python):
S = input()
print('2018'+S[4:])

Solution (Python):
print(input(2018)[4:])

Solution (Python):
S = input().split("/")

S[0] = "2018"
print("/".join(S))

Solution (Python):
print(input().replace("017","018"))

Solution (Python):
print(input().replace("2017","2018"))

Solution (Python):
S = input()
print(S.replace("2017","2018"))

Solution (Python):
a = input()
print(a[:3]+'8'+a[4:])

Solution (Python):
S = input()
S = S.replace("2017","2018")
print(S)

Solution (Python):
s = input().split("/")
print("2018"+"/"+s[1]+"/"+s[2])

Solution (Python):
S = input().split("/")
print("2018"+"/"+S[1]+"/"+S[2])

Solution (Python):
S = input().split('/')
print('2018'+'/'+S[1]+'/'+S[2])

Solution (Python):
date=list(input())

date[3]="8"
print("".join(date))

Solution (Python):
s = input()
print('2018' + s[4:])

Solution (Python):
S = list(input())
S[0:4] = ["2","0","1","8"]
print("".join(S))

Solution (Python):
import sys
import os

ii = lambda: int(sys.stdin.buffer.readline().rstrip())
il = lambda: list(map(int, sys.stdin.buffer.readline().split()))
fl = lambda: list(map(float, sys.stdin.buffer.readline().split()))
iln = lambda n: [int(sys.stdin.buffer.readline().rstrip()) for _ in range(n)]

iss = lambda: sys.stdin.buffer.readline().decode().rstrip()
sl = lambda: list(map(str, sys.stdin.buffer.readline().decode().split()))
isn = lambda n: [sys.stdin.buffer.readline().decode().rstrip() for _ in range(n)]

MOD = 10 ** 9 + 7


def main():
    if os.getenv("LOCAL"):
        sys.stdin = open("input.txt", "r")

    S = iss()
    print(S.replace('2017', '2018', 1))


if __name__ == '__main__':
    main()

Solution (Python):
print (input().replace("2017","2018"))

Solution (Python):
s = input()
ans = '2018' + s[4:]
print(ans)

Solution (Python):
y,m,d= input().split('/')

print('2018/01/'+d)

Solution (Python):
y,m,d=input().split('/')
print('2018/01/{}'.format(d))

Solution (Python):
S=input()

print('2018/01/'+S[8:])

Solution (Python):
print(input().replace("2017", "2018"))

Solution (Python):
print(input().replace("2017","2018"))

Solution (Python):
s = input()
print(s.replace('2017','2018'))

Solution (Python):
S = input().split("/")
ans = str(int(S[0])+1) +"/"+ S[1] + "/" + S[2]
print(ans)

Solution (Python):
S =input()
print("2018/01/" + S[8:])

Solution (Python):
s = input()
print(s[:3] + '8' + s[4:])

Solution (Python):
s = list(input())
s[3] = "8"
print("".join(s))

Solution (Python):


S = input()

S = S.replace("2017","2018")
print(S)

Solution (Python):
a = input()
print("2018"+a[4::])

Solution (Python):


S  = input()
print('2018' + S[4:])

Solution (Python):
yymmdd = list(input())
yymmdd[3] = "8"
print("".join(yymmdd))

Solution (Python):
s = input()
ss = "2018"+s[4:]
print(ss)

Solution (Python):
import itertools
def main():
  yy,mm,dd = map(str,input().split('/'))
  print('2018/' + str(mm) + '/' + str(dd))
if __name__ == '__main__':
  main()

Solution (Python):
s = input()

print(s.replace("2017", "2018"))

Solution (Python):
S=input()

print('2018'+S[4:])

Solution (Python):
s = input()
answer = s.replace("2017","2018")
print(answer)

Solution (Python):
s=input()
print("2018"+s[4:])

Solution (Python):
S=input()
print("2018"+S[4:])

Solution (Python):
s = str(input())
print('2018/'+s[5:])

Solution (Python):
c = input()
print("2018"+c[4:])

Solution (Python):
s = input()
print(s.replace("2017","2018"))

Solution (Python):
print(input().replace('017','018'))

Solution (Python):
s = list(input())
result = ""
for i in range(len(s)):
    if i == 3:
        result = result +"8"
    else:
        result = result + s[i] 
print(result)

Solution (Python):
S = input()
 
answer = S[0:3] + "8" + S[4:10]
 
print(answer)

Solution (Python):
import sys

y, m, d = sys.stdin.readline().rstrip().split('/')
y = '2018'

def main():
    print('/'.join([y, m, d]))

if __name__ ==  '__main__':
    main()

Solution (Python):
s = input()


print(s[0:3] + '8' +s[4:10] )

Solution (Python):

s = input()

print(s.replace('2017', '2018'))

Solution (Python):
s=list(input())
s[3]="8"
print("".join(s))

Solution (Python):
s = input()
print(s[:3]+'8'+s[4:])

Solution (Python):
import sys
import copy
import math
import bisect
import pprint
import bisect
from functools import reduce
from copy import deepcopy
from collections import deque

if __name__ == '__main__':
    s=input()
    s ="2018" + s[4:]

    print(s)

Solution (Python):
s=input()
print(s[:3]+"8"+s[4:])

Solution (Python):
s=input();a='2018';b=s[4:]
c=a+b
print(c)

Solution (Python):
s = input()
print("2018" + s[4:])

Solution (Python):
if __name__ == '__main__':
    t = list(input())

    t[3] = '8'
    print(''.join(t))

Solution (Python):
s = input()
a = s.replace("2017", "2018")
print(a)

Solution (Python):
s = str(input())
l = s.replace("2017", "2018")
print(l)

Solution (Python):
print(input().replace('7', '8', 1))

Solution (Python):
S=input()
S=S.replace("2017","2018")
print(S)

Solution (Python):
import sys
from math import sqrt
from collections import Counter

input = sys.stdin.readline


def I():
    return int(input())


def MI():
    return map(int, input().split())


def LI():
    return list(MI())


inf = float("inf")
mod = 10 ** 9 + 7


def main():
    s = input()

    print(s.replace("7", "8", 1))

    pass


if __name__ == "__main__":
    main()

Solution (Python):
S = input()
print("2018" + S[4:])

Solution (Python):
s1,s2,s3 = input().split('/')
print('2018/01/'+s3)