Problem: One day Vasya was solving arithmetical problems. He wrote down an expression a + b = c in his notebook. When the teacher checked Vasya's work it turned out that Vasya had solved the problem incorrectly. Now Vasya tries to find excuses. He says that he simply forgot to write down several digits in numbers a, b and c, but he can't remember what numbers they actually were. Help Vasya, find such numbers x, y and z, with which the following conditions are met: 

  * x + y = z, 
  * from the expression x + y = z several digits can be erased in such a way that the result will be a + b = c, 
  * the expression x + y = z should have the minimal length. 

Input

The first and only input line contains the expression a + b = c (1 ≤ a, b, c ≤ 106, a, b and c don't contain leading zeroes) which is the expression Vasya wrote down.

Output

Print the correct expression x + y = z (x, y and z are non-negative numbers without leading zeroes). The expression a + b = c must be met in x + y = z as a subsequence. The printed solution should have the minimal possible number of characters. If there are several such solutions, you can print any of them.

Examples

Input

2+4=5


Output

21+4=25


Input

1+1=3


Output

1+31=32


Input

1+1=2


Output

1+1=2

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
int32_t get(const std::string& s, size_t p) {
  if (p < s.size()) {
    return s[s.size() - 1 - p] - '0';
  }
  return 0;
}
std::tuple<size_t, std::string, std::string, std::string> dp(
    const std::string& a, const std::string& b, const std::string& c, size_t pa,
    size_t pb, size_t pc, size_t ta, size_t tb, size_t tc, size_t l,
    int32_t carry) {
  if (pa > 12 || pb > 12 || pc > 12) {
    return {std::numeric_limits<size_t>::max(), "", "", ""};
  }
  if (pa >= a.size() && pb >= b.size() && pc >= c.size()) {
    if (carry) {
      return {l * 3 - ta - tb - tc + 2, "1", "", "1"};
    } else {
      return {l * 3 - ta - tb - tc, "", "", ""};
    }
  }
  std::tuple<size_t, std::string, std::string, std::string> result = {
      std::numeric_limits<size_t>::max(), "", "", ""};
  if ((get(a, pa) + get(b, pb) + carry) % 10 == get(c, pc)) {
    const auto local =
        dp(a, b, c, pa + 1, pb + 1, pc + 1, ta + (pa >= a.size()),
           tb + (pb >= b.size()), tc + (pc >= c.size()), l + 1,
           (get(a, pa) + get(b, pb) + carry) / 10);
    if (std::get<0>(local) < std::get<0>(result)) {
      result = local;
      std::get<1>(result) += char(get(a, pa) + '0');
      std::get<2>(result) += char(get(b, pb) + '0');
      std::get<3>(result) += char(get(c, pc) + '0');
    }
  }
  if (get(a, pa) + carry <= get(c, pc)) {
    auto local = dp(a, b, c, pa + 1, pb, pc + 1, ta + (pa >= a.size()), 0,
                    tc + (pc >= c.size()), l + 1, 0);
    if (std::get<0>(local) < std::get<0>(result)) {
      result = local;
      std::get<1>(result) += char(get(a, pa) + '0');
      std::get<2>(result) += char(get(c, pc) - get(a, pa) - carry + '0');
      std::get<3>(result) += char(get(c, pc) + '0');
    }
  } else {
    auto local = dp(a, b, c, pa + 1, pb, pc + 1, ta + (pa >= a.size()), 0,
                    tc + (pc >= c.size()), l + 1, 1);
    if (std::get<0>(local) < std::get<0>(result)) {
      result = local;
      std::get<1>(result) += char(get(a, pa) + '0');
      std::get<2>(result) += char(10 - get(a, pa) - carry + get(c, pc) + '0');
      std::get<3>(result) += char(get(c, pc) + '0');
    }
  }
  if (get(b, pb) + carry <= get(c, pc)) {
    auto local = dp(a, b, c, pa, pb + 1, pc + 1, 0, tb + (pb >= b.size()),
                    tc + (pc >= c.size()), l + 1, 0);
    if (std::get<0>(local) < std::get<0>(result)) {
      result = local;
      std::get<1>(result) += char(get(c, pc) - get(b, pb) - carry + '0');
      std::get<2>(result) += char(get(b, pb) + '0');
      std::get<3>(result) += char(get(c, pc) + '0');
    }
  } else {
    auto local = dp(a, b, c, pa, pb + 1, pc + 1, 0, tb + (pb >= b.size()),
                    tc + (pc >= c.size()), l + 1, 1);
    if (std::get<0>(local) < std::get<0>(result)) {
      result = local;
      std::get<1>(result) += char(10 - get(b, pb) - carry + get(c, pc) + '0');
      std::get<2>(result) += char(get(b, pb) + '0');
      std::get<3>(result) += char(get(c, pc) + '0');
    }
  }
  auto local = dp(a, b, c, pa + 1, pb + 1, pc, ta + (pa >= a.size()),
                  tb + (pb >= b.size()), 0, l + 1,
                  (get(a, pa) + get(b, pb) + carry) / 10);
  if (std::get<0>(local) < std::get<0>(result)) {
    result = local;
    std::get<1>(result) += char(get(a, pa) + '0');
    std::get<2>(result) += char(get(b, pb) + '0');
    std::get<3>(result) += char((get(a, pa) + get(b, pb) + carry) % 10 + '0');
  }
  return result;
}
int main() {
  std::ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  int64_t a, b, c;
  char tmp;
  std::cin >> a >> tmp >> b >> tmp >> c;
  std::string sa = std::to_string(a);
  std::string sb = std::to_string(b);
  std::string sc = std::to_string(c);
  auto [l, ra, rb, rc] = dp(sa, sb, sc, 0, 0, 0, 0, 0, 0, 0, 0);
  std::reverse(ra.begin(), ra.end());
  std::reverse(rb.begin(), rb.end());
  std::reverse(rc.begin(), rc.end());
  while (ra.back() == '0') {
    ra.pop_back();
  }
  while (rb.back() == '0') {
    rb.pop_back();
  }
  while (rc.back() == '0') {
    rc.pop_back();
  }
  std::reverse(ra.begin(), ra.end());
  std::reverse(rb.begin(), rb.end());
  std::reverse(rc.begin(), rc.end());
  std::cerr << l << '\n';
  std::cout << ra << '+' << rb << '=' << rc << '\n';
}