장난꾸러기 영훈

희현이는 인터넷 ID를 만들 때 쓰는 비밀번호가 있다. 이 비밀번호가 너무 길어서 희현이는 쪽지에 적어 두고 다니면서 확인한다. 그런데 장난꾸러기 영훈이가 이 쪽지를 가져가 1 중 몇 개를 6으로, 6 중 몇 개를 1로, 2 중 몇 개를 7로, 7 중 몇 개를 2로 바꿔 놓았다.

그래서 쪽지에 적힌 숫자만으로는 원래 비밀번호를 알 수 없다. 1이라고 적혀 있어도 원래 숫자는 1 또는 6이고, 6이라고 적혀 있어도 원래 숫자는 1 또는 6이다. 2와 7도 마찬가지다. 나머지 숫자 0, 3, 4, 5, 8, 9는 영훈이가 건드리지 않았으므로 그대로다.

희현이는 이런 일에 대비해 단서를 하나 남겨 두었다. 쪽지의 각 자리에서 1과 6은 1 또는 6으로, 2와 7은 2 또는 7로 바꿔 만들 수 있는 숫자열을 모두 사전순으로 나열했을 때, 그중 k번째가 원래 비밀번호다. 후보의 길이는 모두 같으므로 사전순은 앞자리부터 한 자리씩 비교한 순서와 같다.

쪽지에 적힌 비밀번호와 k가 주어지면 원래 비밀번호를 구하여라.

첫째 줄에 영훈이가 바꿔 놓은 비밀번호가 주어진다. 길이는 1자 이상 60자 이하이고 숫자로만 이루어지며, 첫 자리가 0일 수도 있다.

둘째 줄에 정수 k가 주어진다. ($1 \le k \le 2^{63} - 1$)

첫째 줄에 원래 비밀번호를 출력한다.

k번째 후보가 존재하지 않으면 -1을 출력한다.