#include <bits/stdc++.h>
#include <atcoder/modint>
using namespace std;
using mint = atcoder::static_modint<7+(int)1e9>;
using ll = long long;
int main() {
	std::ios_base::sync_with_stdio(false);
	std::cin.tie(nullptr);
	auto solve = [](const string& S) {
		int N = S.size();
		vector dp(N + 1, vector(3, vector(8, vector(2, vector<mint>(2)))));
		dp[0][0][0][0][0] = 1;
		for(int i=0;i<N;i++)for(int r3=0;r3<3;r3++)for(int r8=0;r8<8;r8++)for(int has3=0;has3<2;has3++)for(int less=0;less<2;less++){
			int lim=less?9:S[i]-'0';
			for(int d=0;d<=lim;d++){
				dp[i+1][(r3+d)%3][(2*r8+d)%8][has3||d==3][less||(d<lim)]+=dp[i][r3][r8][has3][less];
			}
		}
		return dp[N];
	};
	string A,B;
	cin>>A>>B;
	auto dpA=solve(A);
	auto dpB=solve(B);
	mint ans=0;
	for(int i=0;i<3;i++)for(int j=0;j<2;j++)for(int k=1;k<8;k++)if(i==0||j==1){
		for(int l=0;l<2;l++)ans+=dpB[i][k][j][l];
		ans-=dpA[i][k][j][1];
	}
	cout<<ans.val()<<"\n";
}