已知，a₁ , a₂, . . . , a_n是1～n的全排列中字典序第k个排列。
请你判断，一共有多少个整数x同时满足以下所有条件:
1.1≤x≤n
2.x 的十进制表示不含4和7以外的数字。
3.a_x的十进制表示不含4和7以外的数字。

共一行，包含两个整数n, k。

如果1～n的全排列中字典序第k个排列根本不存在，则输出-1。
否则，输出一个整数，表示满足条件的x 的数量。

所有测试点满足1≤n, k ≤109。


样例二：
输入：
4 7
输出：
-1
样例三：
输入：

3 7

输出：
-1




康托展开详解：康托展开（排列数的判重）

acwing *** 康托展开