/*
* @Author: hungeazy
* @Date: 2024-06-07 21:45:22
* @Last Modified by: hungeazy
* @Last Modified time: 2024-06-26 00:53:20
*/
#include <bits/stdc++.h>
// #pragma GCC optimize("O3")
// #pragma GCC optimize("unroll-loops")
// #pragma GCC target("avx2,bmi,bmi2,popcnt,lzcnt")
using namespace std;
#define fast ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL);
#define int long long
#define ull unsigned long long
#define sz(x) x.size()
#define sqr(x) (1LL * (x) * (x))
#define all(x) x.begin(), x.end()
#define fill(f,x) memset(f,x,sizeof(f))
#define FOR(i,l,r) for(int i=l;i<=r;i++)
#define FOD(i,r,l) for(int i=r;i>=l;i--)
#define ii pair<int,int>
#define iii pair<int,ii>
#define di pair<ii,ii>
#define vi vector<int>
#define vii vector<ii>
#define mii map<int,int>
#define fi first
#define se second
#define pb push_back
#define MOD 1000000007
#define __lcm(a,b) (1ll * ((a) / __gcd((a), (b))) * (b))
#define YES cout << "YES\n"
#define NO cout << "NO\n"
#define MASK(i) (1LL << (i))
#define c_bit(i) __builtin_popcountll(i)
#define BIT(x,i) ((x) & MASK(i))
#define SET_ON(x,i) ((x) | MASK(i))
#define SET_OFF(x,i) ((x) & ~MASK(i))
#define oo 1e18
#define name ""
#define endl '\n'
#define time() cout << "-------------Time:" << 1000.0 * clock() / CLOCKS_PER_SEC << "ms.";
template<typename T> bool maximize(T &res, const T &val) { if (res < val){ res = val; return true; }; return false; }
template<typename T> bool minimize(T &res, const T &val) { if (res > val){ res = val; return true; }; return false; }
int dp[19][2][10][2];
int solve(int pos, int lower, int last, bool check, string &x)
{
if (pos == x.size()) return check;
if (dp[pos][lower][last][check] != -1) return dp[pos][lower][last][check];
int fin = (!lower?9:x[pos]-'0'), ans = 0;
FOR(i,0,fin)
{
int newPos = pos+1, newCheck = ((check) or (i == 4) or (last == 1 and i == 3)), newLast = i;
int newLower = (!lower?0:i==fin?1:0);
ans += solve(newPos,newLower,newLast,newCheck,x);
}
dp[pos][lower][last][check] = ans;
return ans;
}
int calc(string x)
{
fill(dp,-1);
return solve(0,1,0,0,x);
}
signed main()
{
fast;
// freopen(name".inp","r",stdin);
// freopen(name".out","w",stdout);
string n;
cin >> n;
cout << calc(n);
return 0;
}
LyoKKiBAQXV0aG9yOiBodW5nZWF6eQoqIEBEYXRlOiAgIDIwMjQtMDYtMDcgMjE6NDU6MjIKKiBATGFzdCBNb2RpZmllZCBieTogICBodW5nZWF6eQoqIEBMYXN0IE1vZGlmaWVkIHRpbWU6IDIwMjQtMDYtMjYgMDA6NTM6MjAKKi8KI2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+Ci8vICNwcmFnbWEgR0NDIG9wdGltaXplKCJPMyIpICAKLy8gI3ByYWdtYSBHQ0Mgb3B0aW1pemUoInVucm9sbC1sb29wcyIpICAKLy8gI3ByYWdtYSBHQ0MgdGFyZ2V0KCJhdngyLGJtaSxibWkyLHBvcGNudCxsemNudCIpICAKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKI2RlZmluZSBmYXN0IGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oZmFsc2UpOyBjaW4udGllKE5VTEwpOyBjb3V0LnRpZShOVUxMKTsKI2RlZmluZSBpbnQgbG9uZyBsb25nCiNkZWZpbmUgdWxsIHVuc2lnbmVkIGxvbmcgbG9uZwojZGVmaW5lIHN6KHgpIHguc2l6ZSgpCiNkZWZpbmUgc3FyKHgpICgxTEwgKiAoeCkgKiAoeCkpCiNkZWZpbmUgYWxsKHgpIHguYmVnaW4oKSwgeC5lbmQoKQojZGVmaW5lIGZpbGwoZix4KSBtZW1zZXQoZix4LHNpemVvZihmKSkKI2RlZmluZSBGT1IoaSxsLHIpIGZvcihpbnQgaT1sO2k8PXI7aSsrKQojZGVmaW5lIEZPRChpLHIsbCkgZm9yKGludCBpPXI7aT49bDtpLS0pCiNkZWZpbmUgaWkgcGFpcjxpbnQsaW50PgojZGVmaW5lIGlpaSBwYWlyPGludCxpaT4KI2RlZmluZSBkaSBwYWlyPGlpLGlpPgojZGVmaW5lIHZpIHZlY3RvcjxpbnQ+CiNkZWZpbmUgdmlpIHZlY3RvcjxpaT4KI2RlZmluZSBtaWkgbWFwPGludCxpbnQ+CiNkZWZpbmUgZmkgZmlyc3QKI2RlZmluZSBzZSBzZWNvbmQKI2RlZmluZSBwYiBwdXNoX2JhY2sKI2RlZmluZSBNT0QgMTAwMDAwMDAwNwojZGVmaW5lIF9fbGNtKGEsYikgKDFsbCAqICgoYSkgLyBfX2djZCgoYSksIChiKSkpICogKGIpKQojZGVmaW5lIFlFUyBjb3V0IDw8ICJZRVNcbiIKI2RlZmluZSBOTyBjb3V0IDw8ICJOT1xuIgojZGVmaW5lIE1BU0soaSkgKDFMTCA8PCAoaSkpCiNkZWZpbmUgY19iaXQoaSkgX19idWlsdGluX3BvcGNvdW50bGwoaSkKI2RlZmluZSBCSVQoeCxpKSAoKHgpICYgTUFTSyhpKSkKI2RlZmluZSBTRVRfT04oeCxpKSAoKHgpIHwgTUFTSyhpKSkKI2RlZmluZSBTRVRfT0ZGKHgsaSkgKCh4KSAmIH5NQVNLKGkpKQojZGVmaW5lIG9vIDFlMTgKI2RlZmluZSBuYW1lICIiCiNkZWZpbmUgZW5kbCAnXG4nCiNkZWZpbmUgdGltZSgpIGNvdXQgPDwgIi0tLS0tLS0tLS0tLS1UaW1lOiIgPDwgMTAwMC4wICogY2xvY2soKSAvIENMT0NLU19QRVJfU0VDIDw8ICJtcy4iOwp0ZW1wbGF0ZTx0eXBlbmFtZSBUPiBib29sIG1heGltaXplKFQgJnJlcywgY29uc3QgVCAmdmFsKSB7IGlmIChyZXMgPCB2YWwpeyByZXMgPSB2YWw7IHJldHVybiB0cnVlOyB9OyByZXR1cm4gZmFsc2U7IH0KdGVtcGxhdGU8dHlwZW5hbWUgVD4gYm9vbCBtaW5pbWl6ZShUICZyZXMsIGNvbnN0IFQgJnZhbCkgeyBpZiAocmVzID4gdmFsKXsgcmVzID0gdmFsOyByZXR1cm4gdHJ1ZTsgfTsgcmV0dXJuIGZhbHNlOyB9CmludCBkcFsxOV1bMl1bMTBdWzJdOwogCmludCBzb2x2ZShpbnQgcG9zLCBpbnQgbG93ZXIsIGludCBsYXN0LCBib29sIGNoZWNrLCBzdHJpbmcgJngpCnsKCWlmIChwb3MgPT0geC5zaXplKCkpIHJldHVybiBjaGVjazsKCWlmIChkcFtwb3NdW2xvd2VyXVtsYXN0XVtjaGVja10gIT0gLTEpIHJldHVybiBkcFtwb3NdW2xvd2VyXVtsYXN0XVtjaGVja107CglpbnQgZmluID0gKCFsb3dlcj85OnhbcG9zXS0nMCcpLCBhbnMgPSAwOwoJRk9SKGksMCxmaW4pCgl7CgkJaW50IG5ld1BvcyA9IHBvcysxLCBuZXdDaGVjayA9ICgoY2hlY2spIG9yIChpID09IDQpIG9yIChsYXN0ID09IDEgYW5kIGkgPT0gMykpLCBuZXdMYXN0ID0gaTsKCQlpbnQgbmV3TG93ZXIgPSAoIWxvd2VyPzA6aT09ZmluPzE6MCk7CgkJYW5zICs9IHNvbHZlKG5ld1BvcyxuZXdMb3dlcixuZXdMYXN0LG5ld0NoZWNrLHgpOwoJfQoJZHBbcG9zXVtsb3dlcl1bbGFzdF1bY2hlY2tdID0gYW5zOwoJcmV0dXJuIGFuczsKfQogCmludCBjYWxjKHN0cmluZyB4KQp7CglmaWxsKGRwLC0xKTsKCXJldHVybiBzb2x2ZSgwLDEsMCwwLHgpOwp9CiAKc2lnbmVkIG1haW4oKQp7CiAgICBmYXN0OwogICAgLy8gZnJlb3BlbihuYW1lIi5pbnAiLCJyIixzdGRpbik7CiAgICAvLyBmcmVvcGVuKG5hbWUiLm91dCIsInciLHN0ZG91dCk7CiAgICBzdHJpbmcgbjsKICAgIGNpbiA+PiBuOwogICAgY291dCA8PCBjYWxjKG4pOwogICAgcmV0dXJuIDA7Cn0=