#include #include using namespace std; using namespace atcoder; using ll = long long; using mint = modint1000000007; int main() { ios::sync_with_stdio(false); cin.tie(nullptr); string S; cin >> S; int N = S.size(); static mint dp[10010][3][3][2][2][2]{}; dp[0][0][0][0][0][0] = 1; for(int i = 0; i < N; i++) { for(int j = 0; j < 10; j++) { for(int k = 0; k < 3; k++) { for(int l = 0; l < 3; l++) { int nk = k, nl = l + (j == 5); if(j == 2 || j == 6) { nk++; } if(j == 4) { nk += 2; } if(j == 8) { nk += 3; } nk = min(2, nk); nl = min(2, nl); if(j < S[i] - '0') { if(!j) { dp[i + 1][nk][nl][0][1][0] += dp[i][k][l][0][0][0] + dp[i][k][l][0][1][0]; dp[i + 1][nk][nl][1][1][1] += dp[i][k][l][0][0][1] + dp[i][k][l][0][1][1] + dp[i][k][l][1][0][1] + dp[i][k][l][1][1][1]; } else { dp[i + 1][nk][nl][0][1][1] += dp[i][k][l][0][0][0] + dp[i][k][l][0][1][0] + dp[i][k][l][0][0][1] + dp[i][k][l][0][1][1]; dp[i + 1][nk][nl][1][1][1] += dp[i][k][l][1][0][0] + dp[i][k][l][1][1][0] + dp[i][k][l][1][0][1] + dp[i][k][l][1][1][1]; } } else if(j == S[i] - '0') { if(!j) { dp[i + 1][nk][nl][0][0][0] += dp[i][k][l][0][0][0]; dp[i + 1][nk][nl][0][1][0] += dp[i][k][l][0][1][0]; dp[i + 1][nk][nl][1][0][1] += dp[i][k][l][0][0][1] + dp[i][k][l][1][0][1]; dp[i + 1][nk][nl][1][1][1] += dp[i][k][l][0][1][1] + dp[i][k][l][1][1][1]; } else { dp[i + 1][nk][nl][0][0][1] += dp[i][k][l][0][0][0] + dp[i][k][l][0][0][1]; dp[i + 1][nk][nl][0][1][1] += dp[i][k][l][0][1][0] + dp[i][k][l][0][1][1]; dp[i + 1][nk][nk][1][0][1] += dp[i][k][l][1][0][0] + dp[i][k][l][1][0][1]; dp[i + 1][nk][nk][1][1][1] += dp[i][k][l][1][1][0] + dp[i][k][l][1][1][1]; } } else { dp[i + 1][nk][nl][0][1][1] += dp[i][k][l][0][1][0] + dp[i][k][l][0][1][1]; dp[i + 1][nk][nl][1][1][1] += dp[i][k][l][1][1][0] + dp[i][k][l][1][1][1]; } } } } } cout << (dp[N][2][2][0][0][1] + dp[N][2][2][0][1][1]).val() << "\n"; }