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:

Một dòng chứa số nguyên N
1 <= N <= 10^1000

Ouput:

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

Ví dụ 1

Input:

153

Output:

135

Ví dụ 2

Input:

55544

Ouput:

-1