output_description: Replace the first four characters in S with `2018` and print it.
  
  * * *
input_description: Input is given from Standard Input in the following format:
  
      
      
      S
attempt: a, b = map(int, input().split())
  for s in range(b // 10000 + 1):
      try:
          for t in range(b // 5000 + 1):
              r = b - s - t
              if 10000 * s + 5000 * t + 1000 * r == b and s + t + r == a:
                  print(s, t, r)
                  exit()
      except ZeroDivisionError:
          continue
  print(-1, -1, -1)
  
problem_description: 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.
samples: [{"input": "2017/01/07", "output": "2018/01/07\n    \n\n* * *"}, {"input": "2017/01/31", "output": "2018/01/31"}]