502. Digits Permutation

Time limit per test: 0.25 second(s)
Memory limit: 262144 kilobytes
input: standard
output: standard

Andrew has just made a breakthrough in the world of number 17: he realized that it's rather easy to permute the digits in almost any given number to get a number divisible by 17. You are given a positive integer n. You must find a permutation of its digits that is divisible by 17.
Input
Input file contains single integer n, 1 ≤ n ≤ 1017.
Output
Output any permutation of digits of n that is divisible by 17. The output permutation may not start with a zero. If there is no such permutation, output -1.
Example(s)
sample input
 
sample output
 
17

17


sample input
 
sample output
 
2242223

2222342


sample input
 
sample output
 
239

-1