Hoán vị may mắn

Một số nguyên dương được gọi là số may mắn nếu biểu diễn thập phân của nó chỉ gồm các chữ số 4 và 7. Ví dụ: 47, 744, 4 là số may mắn, còn 5, 17, 467 thì không.

Xét tất cả các hoán vị của các số nguyên từ $1$ đến $n$, sắp xếp theo thứ tự từ điển tăng dần. Gọi $a$ là hoán vị đứng thứ $k$ trong danh sách đó (đánh số từ $1$). Phần tử ở vị trí có chỉ số $i$ của hoán vị được ký hiệu là $a_i$.

Hãy đếm số chỉ số $i$ sao cho cả $i$ và $a_i$ đều là số may mắn.

Nếu hoán vị thứ $k$ không tồn tại (tức là số hoán vị của $n$ phần tử nhỏ hơn $k$), hãy in ra $-1$.

Dữ liệu vào

Một dòng gồm hai số nguyên $n$ và $k$.

Dữ liệu ra

In ra một số nguyên là đáp án của bài toán, hoặc $-1$ nếu hoán vị thứ $k$ không tồn tại.

Ràng buộc

• $1\le n,k\le {10}^9$

Ví dụ