#include "bits/stdc++.h" using namespace std; typedef long long ll; template struct mint { private: long long x; public: mint(long long x = 0) :x((mod + x) % mod) {} mint(std::string &s) { long long z = 0; for (int i = 0; i < s.size(); i++) { z *= 10; z += s[i] - '0'; z %= mod; } this->x = z; } mint& operator+=(const mint &a) { if ((x += a.x) >= mod) x -= mod; return *this; } mint& operator-=(const mint &a) { if ((x += mod - a.x) >= mod) x -= mod; return *this; } mint& operator*=(const mint &a) { (x *= a.x) %= mod; return *this; } mint& operator/=(const mint &a) { long long n = mod - 2; mint u = 1, b = a; while (n > 0) { if (n & 1) { u *= b; } b *= b; n >>= 1; } return *this *= u; } mint operator+(const mint &a) const { mint res(*this); return res += a; } mint operator-(const mint &a) const { mint res(*this); return res -= a; } mint operator*(const mint &a) const { mint res(*this); return res *= a; } mint operator/(const mint &a) const { mint res(*this); return res /= a; } friend std::ostream& operator<<(std::ostream &os, const mint &n) { return os << n.x; } bool operator==(const mint &a) const { return this->x == a.x; } }; // 多次元 vector 生成 template vector make_vec(size_t a) { return vector(a); } template auto make_vec(size_t a, Ts... ts) { return vector(ts...))>(a, make_vec(ts...)); } int main() { constexpr int MOD = 1e9 + 7; string s, t; cin >> s >> t; // dp[0][mod3][mod8][3flag][smaller] auto dp = make_vec>(2, 3, 8, 2, 2); auto dp2 = make_vec>(2, 3, 8, 2, 2); dp[0][0][0][0][0] = 1; dp2[0][0][0][0][0] = 1; for (int i = 0; i < s.size(); i++) { for (int mod3 = 0; mod3 < 3; mod3++) { for (int mod8 = 0; mod8 < 8; mod8++) { dp[1][(mod3 * 10 + s[i] - '0') % 3][(mod8 * 10 + s[i] - '0') % 8][1][0] += dp[0][mod3][mod8][1][0]; if (s[i] != '3') dp[1][(mod3 * 10 + s[i] - '0') % 3][(mod8 * 10 + s[i] - '0') % 8][0][0] += dp[0][mod3][mod8][0][0]; else dp[1][(mod3 * 10 + s[i] - '0') % 3][(mod8 * 10 + s[i] - '0') % 8][1][0] += dp[0][mod3][mod8][0][0]; for (int k = 0; k < 10; k++) { if (k != 3) { dp[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][0][1] += dp[0][mod3][mod8][0][1]; if (k < s[i] - '0') dp[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][0][1] += dp[0][mod3][mod8][0][0]; } dp[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][1][1] += dp[0][mod3][mod8][1][1]; if (k < s[i] - '0') dp[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][1][1] += dp[0][mod3][mod8][1][0]; if (k == 3) dp[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][1][1] += dp[0][mod3][mod8][0][1]; if (k == 3 && s[i] > '3') dp[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][1][1] += dp[0][mod3][mod8][0][0]; } } } dp[0] = dp[1]; for (int mod3 = 0; mod3 < 3; mod3++) { for (int mod8 = 0; mod8 < 8; mod8++) { for (int j = 0; j < 2; j++) { for (int k = 0; k < 2; k++) { dp[1][mod3][mod8][j][k] = 0; } } } } } for (int i = 0; i < t.size(); i++) { for (int mod3 = 0; mod3 < 3; mod3++) { for (int mod8 = 0; mod8 < 8; mod8++) { dp2[1][(mod3 * 10 + t[i] - '0') % 3][(mod8 * 10 + t[i] - '0') % 8][1][0] += dp2[0][mod3][mod8][1][0]; if (t[i] != '3') dp2[1][(mod3 * 10 + t[i] - '0') % 3][(mod8 * 10 + t[i] - '0') % 8][0][0] += dp2[0][mod3][mod8][0][0]; else dp2[1][(mod3 * 10 + t[i] - '0') % 3][(mod8 * 10 + t[i] - '0') % 8][1][0] += dp2[0][mod3][mod8][0][0]; for (int k = 0; k < 10; k++) { if (k != 3) { dp2[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][0][1] += dp2[0][mod3][mod8][0][1]; if (k < t[i] - '0') dp2[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][0][1] += dp2[0][mod3][mod8][0][0]; } dp2[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][1][1] += dp2[0][mod3][mod8][1][1]; if (k < t[i] - '0') dp2[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][1][1] += dp2[0][mod3][mod8][1][0]; if (k == 3) dp2[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][1][1] += dp2[0][mod3][mod8][0][1]; if (k == 3 && t[i] > '3') dp2[1][(mod3 * 10 + k) % 3][(mod8 * 10 + k) % 8][1][1] += dp2[0][mod3][mod8][0][0]; } } } dp2[0] = dp2[1]; for (int mod3 = 0; mod3 < 3; mod3++) { for (int mod8 = 0; mod8 < 8; mod8++) { for (int j = 0; j < 2; j++) { for (int k = 0; k < 2; k++) { dp2[1][mod3][mod8][j][k] = 0; } } } } } mint ans = 0; for (int i = 0; i < 3; i++) { for (int j = 1; j < 8; j++) { for (int k = 0; k < 2; k++) { if (i == 0 || k == 1) { ans += dp2[0][i][j][k][0] + dp2[0][i][j][k][1]; ans -= dp[0][i][j][k][1]; } } } } cout << ans << endl; return 0; }