// وَمَا تَوْفِيقِي إِلَّا بِاللَّهِ عَلَيْهِ تَوَكَّلْتُ وَإِلَيْهِ أُنِيبُ
#include <bits/stdc++.h>
#define T int t;cin>>t;while(t--)
#define fast ios_base::sync_with_stdio(false);cin.tie(nullptr);cout.tie(nullptr)
#define endl '\n'
#define F first
#define S second
#define int long long
using namespace std;
int n,x,vis[10][2][10][19690][2],p10[11],p3[11],tc=0;
pair<int,int> dp[10][2][10][19690][2];
string s;
int power(int a,int b) {
int r = 1;
while(b) {
if (b & 1) r = (r*a);
a = (a*a);
b = b >> 1;
}
return r;
}
int ask(int mask,int d) {
return (mask/p3[d-1]) % 3;
}
int add(int mask,int d) {
return mask + p3[d-1];
}
pair<int,int> dpwkeda(int i,bool tight,int last,int mask,bool start) {
if (i==s.size()) return {start,0};
if (vis[i][tight][last][mask][start] == tc) return dp[i][tight][last][mask][start];
int limit = tight ? s[i]-'0' : 9;
pair<int,int> ans = {0,0};
for (int j=0;j<=limit;j++) {
bool nxtTight = tight && limit == j;
if (j==0 && !start) {
pair<int,int> x = dpwkeda(i+1,nxtTight,last,mask,false);
int m = s.size()-i-1;
ans.F += x.F;
ans.S += (x.S + (x.F * (j * p10[m])));
continue;
}
if (j==0 && start) continue;
if (__gcd(j,last)!=1) continue;
if (ask(mask,j)==2) continue;
if (!start) {
pair<int,int> x = dpwkeda(i+1,nxtTight,j,add(mask,j),true);
int m = s.size()-i-1;
ans.F += x.F;
ans.S += (x.S + (x.F * (j * p10[m])));
}
else {
if (j==0) continue;
pair<int,int> k = dpwkeda(i+1,nxtTight,j,add(mask,j),1);
int m = s.size()-i-1;
ans.F += k.F;
ans.S += (k.S + (k.F * (j * p10[m])));
}
}
vis[i][tight][last][mask][start] = tc;
return dp[i][tight][last][mask][start] = ans;
}
pair<int,int> can(int mid) {
s = to_string(mid);
tc++;
return dpwkeda(0,true,1,0,0);
}
void Abady() {
cin >> n >> x;
for (int i=0;i<=9;i++) {
p10[i] = power(10,i);
p3[i] = power(3,i);
}
int l = 0 , r = x , ans = -1;
while (l <= r) {
int mid = (l+r)/2;
pair<int,int> f = can(mid);
if (f.F >= n) {
ans = f.S;
r = mid - 1;
}
else l = mid + 1;
}
cout << ans << endl;
}
signed main() {
#ifdef ABADY
freopen("input.txt", "r", stdin);
freopen("output.txt", "w", stdout);
#endif
fast;
Abady();
}
Ly8g2YjZjtmF2Y7YpyDYqtmO2YjZktmB2ZDZitmC2ZDZiiDYpdmQ2YTZjtmR2Kcg2KjZkNin2YTZhNmO2ZHZh9mQINi52Y7ZhNmO2YrZktmH2ZAg2KrZjtmI2Y7Zg9mO2ZHZhNmS2KrZjyDZiNmO2KXZkNmE2Y7ZitmS2YfZkCDYo9mP2YbZkNmK2KjZjwoKI2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CiNkZWZpbmUgVCBpbnQgdDtjaW4+PnQ7d2hpbGUodC0tKQojZGVmaW5lIGZhc3QgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSk7Y2luLnRpZShudWxscHRyKTtjb3V0LnRpZShudWxscHRyKQojZGVmaW5lIGVuZGwgJ1xuJwojZGVmaW5lIEYgZmlyc3QKI2RlZmluZSBTIHNlY29uZAojZGVmaW5lIGludCBsb25nIGxvbmcKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKaW50IG4seCx2aXNbMTBdWzJdWzEwXVsxOTY5MF1bMl0scDEwWzExXSxwM1sxMV0sdGM9MDsKcGFpcjxpbnQsaW50PiBkcFsxMF1bMl1bMTBdWzE5NjkwXVsyXTsKc3RyaW5nIHM7CmludCBwb3dlcihpbnQgYSxpbnQgYikgewogICAgaW50IHIgPSAxOwogICAgd2hpbGUoYikgewogICAgICAgIGlmIChiICYgMSkgciA9IChyKmEpOwogICAgICAgIGEgPSAoYSphKTsKICAgICAgICBiID0gYiA+PiAxOwogICAgfQogICAgcmV0dXJuIHI7Cn0KaW50IGFzayhpbnQgbWFzayxpbnQgZCkgewogICAgcmV0dXJuIChtYXNrL3AzW2QtMV0pICUgMzsKfQppbnQgYWRkKGludCBtYXNrLGludCBkKSB7CiAgICByZXR1cm4gbWFzayArIHAzW2QtMV07Cn0KcGFpcjxpbnQsaW50PiBkcHdrZWRhKGludCBpLGJvb2wgdGlnaHQsaW50IGxhc3QsaW50IG1hc2ssYm9vbCBzdGFydCkgewogICAgaWYgKGk9PXMuc2l6ZSgpKSByZXR1cm4ge3N0YXJ0LDB9OwoKICAgIGlmICh2aXNbaV1bdGlnaHRdW2xhc3RdW21hc2tdW3N0YXJ0XSA9PSB0YykgcmV0dXJuIGRwW2ldW3RpZ2h0XVtsYXN0XVttYXNrXVtzdGFydF07CgogICAgaW50IGxpbWl0ID0gdGlnaHQgPyBzW2ldLScwJyA6IDk7CiAgICBwYWlyPGludCxpbnQ+IGFucyA9IHswLDB9OwogICAgZm9yIChpbnQgaj0wO2o8PWxpbWl0O2orKykgewogICAgICAgIGJvb2wgbnh0VGlnaHQgPSB0aWdodCAmJiBsaW1pdCA9PSBqOwogICAgICAgIGlmIChqPT0wICYmICFzdGFydCkgewogICAgICAgICAgICBwYWlyPGludCxpbnQ+IHggPSBkcHdrZWRhKGkrMSxueHRUaWdodCxsYXN0LG1hc2ssZmFsc2UpOwogICAgICAgICAgICBpbnQgbSA9IHMuc2l6ZSgpLWktMTsKICAgICAgICAgICAgYW5zLkYgKz0geC5GOwogICAgICAgICAgICBhbnMuUyArPSAoeC5TICsgKHguRiAqIChqICogcDEwW21dKSkpOwogICAgICAgICAgICBjb250aW51ZTsKICAgICAgICB9CiAgICAgICAgaWYgKGo9PTAgJiYgc3RhcnQpIGNvbnRpbnVlOwogICAgICAgIGlmIChfX2djZChqLGxhc3QpIT0xKSBjb250aW51ZTsKICAgICAgICBpZiAoYXNrKG1hc2ssaik9PTIpIGNvbnRpbnVlOwogICAgICAgIGlmICghc3RhcnQpIHsKICAgICAgICAgICAgcGFpcjxpbnQsaW50PiB4ID0gZHB3a2VkYShpKzEsbnh0VGlnaHQsaixhZGQobWFzayxqKSx0cnVlKTsKICAgICAgICAgICAgaW50IG0gPSBzLnNpemUoKS1pLTE7CiAgICAgICAgICAgIGFucy5GICs9IHguRjsKICAgICAgICAgICAgYW5zLlMgKz0gKHguUyArICh4LkYgKiAoaiAqIHAxMFttXSkpKTsKICAgICAgICB9CiAgICAgICAgZWxzZSB7CiAgICAgICAgICAgIGlmIChqPT0wKSBjb250aW51ZTsKICAgICAgICAgICAgcGFpcjxpbnQsaW50PiBrID0gZHB3a2VkYShpKzEsbnh0VGlnaHQsaixhZGQobWFzayxqKSwxKTsKICAgICAgICAgICAgaW50IG0gPSBzLnNpemUoKS1pLTE7CiAgICAgICAgICAgIGFucy5GICs9IGsuRjsKICAgICAgICAgICAgYW5zLlMgKz0gKGsuUyArIChrLkYgKiAoaiAqIHAxMFttXSkpKTsKICAgICAgICB9CiAgICB9CiAgICB2aXNbaV1bdGlnaHRdW2xhc3RdW21hc2tdW3N0YXJ0XSA9IHRjOwogICAgcmV0dXJuIGRwW2ldW3RpZ2h0XVtsYXN0XVttYXNrXVtzdGFydF0gPSBhbnM7Cn0KcGFpcjxpbnQsaW50PiBjYW4oaW50IG1pZCkgewogICAgcyA9IHRvX3N0cmluZyhtaWQpOwogICAgdGMrKzsKICAgIHJldHVybiBkcHdrZWRhKDAsdHJ1ZSwxLDAsMCk7Cn0Kdm9pZCBBYmFkeSgpIHsKICAgIGNpbiA+PiBuID4+IHg7CiAgICBmb3IgKGludCBpPTA7aTw9OTtpKyspIHsKICAgICAgICBwMTBbaV0gPSBwb3dlcigxMCxpKTsKICAgICAgICBwM1tpXSA9IHBvd2VyKDMsaSk7CiAgICB9CiAgICBpbnQgbCA9IDAgLCByID0geCAsIGFucyA9IC0xOwogICAgd2hpbGUgKGwgPD0gcikgewogICAgICAgIGludCBtaWQgPSAobCtyKS8yOwogICAgICAgIHBhaXI8aW50LGludD4gZiA9IGNhbihtaWQpOwogICAgICAgIGlmIChmLkYgPj0gbikgewogICAgICAgICAgICBhbnMgPSBmLlM7CiAgICAgICAgICAgIHIgPSBtaWQgLSAxOwogICAgICAgIH0KICAgICAgICBlbHNlIGwgPSBtaWQgKyAxOwogICAgfQogICAgY291dCA8PCBhbnMgPDwgZW5kbDsKfQoKc2lnbmVkIG1haW4oKSB7CiNpZmRlZiBBQkFEWQogICAgZnJlb3BlbigiaW5wdXQudHh0IiwgInIiLCBzdGRpbik7CiAgICBmcmVvcGVuKCJvdXRwdXQudHh0IiwgInciLCBzdGRvdXQpOwojZW5kaWYKICAgIGZhc3Q7CiAgICBBYmFkeSgpOwp9