Tuấn rất thích các số là bội của ~45~. Vì vậy cứ thấy bất kỳ một số nguyên dương ~N~ nào Tuấn cũng cố gắng biến đổi số đó bằng cách thay đổi vị trí các chữ số để được một bội số của ~45~.

Cho trước số nguyên dương ~N~, hãy cho biết có thể biến đổi ~N~ để hợp với sở thích của Tuấn được hay không?

Input Specification

• Một dòng chứa số nguyên ~N~ ~(1 \le N \le 10^{100})~

Output Specification

• Nếu có thể biến đổi được thì in ra số nhỏ nhất thỏa mãn bài toán, ngược lại thì in -1.

Sample Input 1

153

Sample Output 1

135

Sample Input 2

55544

Sample Output 2

-1