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.
import random
n = list(input())
no = int("".join(n))

sdf = n[:-5]
if len(n) < 8:
    while no%7!=0:
            random.shuffle(n)
            dsf = "".join(n)
            no = int(dsf)
    print(no)
else:
    while no%7!=0:
        n = n[-5:]
        random.shuffle(n)
        dsf = "".join(n) 
        no = int(dsf)
    dsds = sdf+n
    print("".join(dsds))


	   			  				   	  	 		  	 	