You have number *a*, whose decimal representation quite luckily contains digits 1, 6, 8, 9. Rearrange the digits in its decimal representation so that the resulting number will be divisible by 7.

Number *a* doesn't contain any leading zeroes and contains digits 1, 6, 8, 9 (it also can contain another digits). The resulting number also mustn't contain any leading zeroes.
The first line contains positive integer *a* in the decimal record. It is guaranteed that the record of number *a* contains digits: 1, 6, 8, 9. Number *a* doesn't contain any leading zeroes. The decimal representation of number *a* contains at least 4 and at most 10<sup class="upper-index">6</sup> characters.
from itertools import permutations
s = str(input())
perList = ["1","6","8","9"]

for i in perList:
	s = s.replace(i,"",1)

if s.count("0")>0 and s.count("0")==len(s): check = False
else: check = True

if check:
	for e in list(permutations("1689")):
		temp = str(''.join(e))
		t = int(s+temp)
		if t%7==0:
			print(t)
			exit()
else:
	for e in list(permutations("1689")):
		temp = str(''.join(e))
		s = s.replace("0","",1)
		t = int(s+temp+"0")
		if t%7==0:
			print(t)
			exit()
print(0)