#include #include const long long MOD = 1000000007; using namespace std; // Nは桁数が大きい場合があるので文字列として受け取る string N; vector n; // Nの各桁の数字を格納するベクター long long dp[100010][2][3][3][2][2]; // i : 桁数 // smaller : 既に小さい // j : 5が何回出てきたか // k : 2が何回出てきたか // l : これまでに0以外の数字が出てきたか // m : 先頭以外で0を含むか int main() { cin >> N; //ベクターnを構成 for (auto a : N) { n.push_back(a - '0'); } int l = N.size(); // nの長さ dp[0][0][0][0][0][0] = 1; //初期条件。他は0で初期化されている for (int i = 0; i < l; i++) { for (int smaller = 0; smaller < 2; smaller++) { for (int j = 0; j < 3; j++) { for (int k = 0; k < 3; k++) { for (int l = 0; l < 2; l++){ for(int m = 0; m < 2; m++){ for (int x = 0; x <= (smaller ? 9 : n[i]); x++) { // cout << i << " " << j << " " << k << " " << l // << " " << m << " " << endl; if (x == 5) { dp[i + 1][smaller || x < n[i]][min(j + 1, 2)][k][l || x != 0][m] += dp[i][smaller][j][k][l][m]; dp[i + 1][smaller || x < n[i]][min(j + 1, 2)][k][l || x != 0][m] %= MOD; } else if (x == 2) { dp[i + 1][smaller || x < n[i]][j][min(k + 1, 2)][l || x != 0][m] += dp[i][smaller][j][k][l][m]; dp[i + 1][smaller || x < n[i]][j][min(k + 1, 2)][l || x != 0][m] %= MOD; } else if (x == 4) { dp[i + 1][smaller || x < n[i]][j][min(k + 2, 2)][l || x != 0][m] += dp[i][smaller][j][k][l][m]; dp[i + 1][smaller || x < n[i]][j][min(k + 2, 2)][l || x != 0][m] %= MOD; }else if( x == 6) { dp[i + 1][smaller || x < n[i]][j][min(k + 1, 2)][l || x != 0][m] += dp[i][smaller][j][k][l][m]; dp[i + 1][smaller || x < n[i]][j][min(k + 1, 2)][l || x != 0][m] %= MOD; }else if (x == 8) { dp[i + 1][smaller || x < n[i]][j][min(k + 3, 2)][l || x != 0][m] += dp[i][smaller][j][k][l][m]; dp[i + 1][smaller || x < n[i]][j][min(k + 3, 2)][l || x != 0][m] %= MOD; } else if(x == 0) { if(l == 1){ // out dp[i + 1][smaller || x < n[i]][j][k][l][m || x == 0] += dp[i][smaller][j][k][l][m]; dp[i + 1][smaller || x < n[i]][j][k][l][m || x == 0] %= MOD; }else{ // safe dp[i + 1][smaller || x < n[i]][j][k][l][m] += dp[i][smaller][j][k][l][m]; dp[i + 1][smaller || x < n[i]][j][k][l][m] %= MOD; } }else{ dp[i + 1][smaller || x < n[i]][j][k][l || x != 0][m] += dp[i][smaller][j][k][l][m]; dp[i + 1][smaller || x < n[i]][j][k][l || x != 0][m] %= MOD; } } } } } } } } long long ans = 0; // for (itn i = 0; i < ; i++) // { // /* code */ // } ans += (dp[l][0][2][2][1][0] + dp[l][1][2][2][1][0])%MOD; ans %= MOD; cout << ans << endl; return 0; }