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: from numba import jit
  
  N, Y = map(int, input().split())
  
  count_max = Y / 1000  # all 1000
  
  
  @jit
  def sample(n, y):
      ans = "-1 -1 -1"
      for i in reversed(range(y // 10000 + 1)):
          count_tmp1 = count_max - 9 * i
          price_tmp1 = y - 10000 * i
          if count_tmp1 < n or price_tmp1 < 0:
              continue
  
          if count_tmp1 == n:
              ans = "{} {} {}".format(i, 0, N - i)
              return ans
  
          if price_tmp1 > 5000 * count_tmp1:
              return ans
  
          for j in reversed(range(price_tmp1 // 5000 + 1)):
              count_tmp2 = count_tmp1 - 4 * j
              price_tmp2 = price_tmp1 - 5000 * j
              if count_tmp2 < n or price_tmp2 < 0:
                  continue
              if count_tmp2 == n:
                  ans = "{} {} {}".format(i, j, N - i - j)
                  return ans
              if price_tmp2 > 5000 * count_tmp2:
                  return ans
      return ans
  
  
  a = sample(N, Y)
  print(a)
  
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"}]