#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define ld long double
#define vi vector<int>
#define vl vector<ll>
#define vld vector<ld>
#define all(a) a.begin(), a.end()
#define ull unsigned long long
#define endl '\n'
const ll MOD = 1e9 + 7;
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
#pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt")
void fileio() {
freopen("input.txt", "r", stdin);
freopen("output.txt", "w", stdout);
}
void read2d(vector<vector<int>>&arr,int n,int m) {
for (int i =0;i<n;i++) {
for (int j =0;j<m;j++) {
cin>>arr[i][j];
}
}
}
void print2d(vector<vector<int>>&arr,int n,int m) {
for (int i =0;i<n;i++) {
for (int j =0;j<m;j++) {
cout<<arr[i][j]<<" ";
}
cout<<'\n';
}
}
void read1d(vector<int>&arr) {
for (int i =0;i<arr.size();i++) {
cin>>arr[i];
}
}
void read1d(vector<ll>&arr) {
for (int i =0;i<arr.size();i++) {
cin>>arr[i];
}
}
void print1d(vector<int>&arr) {
for (int i =0;i<arr.size();i++) {
cout<<arr[i]<<" ";
}
}
string s ;vector<ll>lucky;
ll cnt;ll ans=LLONG_MAX;
bool isLucky(ll n ) {
string s = to_string(n);
for (auto c : s ) {
if (c!='4'&&c!='7') {
return false;
}
}
return true;
}
bool isSuperLucky(ll n ) {
int cnt4=0,cnt7=0;
string s = to_string(n);
for (auto c : s ) {
if (c!='4'&&c!='7') {
return false;
}
if (c=='4') {
cnt4++;
}
if (c=='7') {
cnt7++;
}
}
return cnt4==cnt7;
}
ll howmany(ll n ) {
int cnt=0;
while (n>0) {
n/=10;
cnt++;
}
return cnt;
}
ll sum=0;ll l , r,digits;ll last;
void genhelper(int n ,int cr,ll new_number) {
if (cr==11) {
return;
}
if (isLucky(new_number)&&new_number>=r) {
ans=min(ans,new_number);
return;
}
genhelper(n,cr+1,new_number*10 + 4 );
genhelper(n,cr+1,new_number*10 + 7 );
}
void genhelper2(int cr, ll new_number) {
if (cr == 11) {
return;
}
if (new_number > r) {
return;
}
if (new_number > 0) {
ans = max(ans, new_number);
}
genhelper2(cr + 1, new_number * 10 + 4);
genhelper2(cr + 1, new_number * 10 + 7);
}
void gen(int n ,int len,int cr,ll new_number) {
if (cr==len) {
bool found=0;
if (new_number>=l&&new_number<=r) {
found=1;
sum+=(new_number-l)*new_number+new_number;
l=new_number+1;
}
return;
}
gen(n,len,cr+1,new_number*10 + 4 );
gen(n,len,cr+1,new_number*10 + 7 );
}
void solve() {
ans=0,sum=0;
cin>>l>>r;
genhelper2(0,0);
last=ans;
ans=LLONG_MAX;
genhelper(0,0,0);
for (int i =1;i<=10;i++) {
gen(0,i,0,0);
}
if (l>last && !isLucky(r)) {
sum+=(r-l+1)*ans;
}
cout<<sum<<endl;
}
int main()
{
ios::sync_with_stdio(false);
cin.tie(nullptr);
// fileio();
int t = 1;
//cin >> t;
while (t--)
{
solve();
}
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgbGwgbG9uZyBsb25nCiNkZWZpbmUgbGQgbG9uZyBkb3VibGUKI2RlZmluZSB2aSB2ZWN0b3I8aW50PgojZGVmaW5lIHZsIHZlY3RvcjxsbD4KI2RlZmluZSB2bGQgdmVjdG9yPGxkPgojZGVmaW5lIGFsbChhKSBhLmJlZ2luKCksIGEuZW5kKCkKI2RlZmluZSB1bGwgdW5zaWduZWQgbG9uZyBsb25nCiNkZWZpbmUgZW5kbCAnXG4nCmNvbnN0IGxsIE1PRCA9IDFlOSArIDc7CgojcHJhZ21hIEdDQyBvcHRpbWl6ZSgiT2Zhc3QiKQojcHJhZ21hIEdDQyBvcHRpbWl6ZSgidW5yb2xsLWxvb3BzIikKI3ByYWdtYSBHQ0MgdGFyZ2V0KCJhdngyLGJtaSxibWkyLGx6Y250LHBvcGNudCIpCgp2b2lkIGZpbGVpbygpIHsKICAgIGZyZW9wZW4oImlucHV0LnR4dCIsICJyIiwgc3RkaW4pOwogICAgZnJlb3Blbigib3V0cHV0LnR4dCIsICJ3Iiwgc3Rkb3V0KTsKfQoKdm9pZCByZWFkMmQodmVjdG9yPHZlY3RvcjxpbnQ+PiZhcnIsaW50IG4saW50IG0pIHsKICAgIGZvciAoaW50IGkgPTA7aTxuO2krKykgewogICAgICAgIGZvciAoaW50IGogPTA7ajxtO2orKykgewogICAgICAgICAgICBjaW4+PmFycltpXVtqXTsKICAgICAgICB9CiAgICB9Cn0KCnZvaWQgcHJpbnQyZCh2ZWN0b3I8dmVjdG9yPGludD4+JmFycixpbnQgbixpbnQgbSkgewogICAgZm9yIChpbnQgaSA9MDtpPG47aSsrKSB7CiAgICAgICAgZm9yIChpbnQgaiA9MDtqPG07aisrKSB7CiAgICAgICAgICAgIGNvdXQ8PGFycltpXVtqXTw8IiAiOwogICAgICAgIH0KICAgICAgICBjb3V0PDwnXG4nOwogICAgfQp9Cgp2b2lkIHJlYWQxZCh2ZWN0b3I8aW50PiZhcnIpIHsKICAgIGZvciAoaW50IGkgPTA7aTxhcnIuc2l6ZSgpO2krKykgewogICAgICAgIGNpbj4+YXJyW2ldOwogICAgfQp9CnZvaWQgcmVhZDFkKHZlY3RvcjxsbD4mYXJyKSB7CiAgICBmb3IgKGludCBpID0wO2k8YXJyLnNpemUoKTtpKyspIHsKICAgICAgICBjaW4+PmFycltpXTsKICAgIH0KfQoKdm9pZCBwcmludDFkKHZlY3RvcjxpbnQ+JmFycikgewogICAgZm9yIChpbnQgaSA9MDtpPGFyci5zaXplKCk7aSsrKSB7CiAgICAgICAgY291dDw8YXJyW2ldPDwiICI7CiAgICB9Cn0Kc3RyaW5nIHMgO3ZlY3RvcjxsbD5sdWNreTsKbGwgY250O2xsIGFucz1MTE9OR19NQVg7CmJvb2wgaXNMdWNreShsbCBuICkgewogICAgc3RyaW5nICBzID0gdG9fc3RyaW5nKG4pOwogICAgZm9yIChhdXRvIGMgOiBzICkgewogICAgICAgIGlmIChjIT0nNCcmJmMhPSc3JykgewogICAgICAgICAgICByZXR1cm4gZmFsc2U7CiAgICAgICAgfQogICAgfQogICAgcmV0dXJuIHRydWU7Cn0KYm9vbCBpc1N1cGVyTHVja3kobGwgbiApIHsKICAgIGludCBjbnQ0PTAsY250Nz0wOwogICAgc3RyaW5nICBzID0gdG9fc3RyaW5nKG4pOwogICAgZm9yIChhdXRvIGMgOiBzICkgewogICAgICAgIGlmIChjIT0nNCcmJmMhPSc3JykgewogICAgICAgICAgICByZXR1cm4gZmFsc2U7CiAgICAgICAgfQogICAgICAgIGlmIChjPT0nNCcpIHsKICAgICAgICAgICAgY250NCsrOwogICAgICAgIH0KICAgICAgICBpZiAoYz09JzcnKSB7CiAgICAgICAgICAgIGNudDcrKzsKICAgICAgICB9CiAgICB9CiAgICByZXR1cm4gY250ND09Y250NzsKfQpsbCBob3dtYW55KGxsIG4gKSB7CiAgICBpbnQgY250PTA7CiAgICB3aGlsZSAobj4wKSB7CiAgICAgICAgbi89MTA7CiAgICAgICAgY250Kys7CiAgICB9CiAgICByZXR1cm4gY250Owp9CmxsIHN1bT0wO2xsIGwgLCByLGRpZ2l0cztsbCBsYXN0Owp2b2lkIGdlbmhlbHBlcihpbnQgbiAsaW50IGNyLGxsIG5ld19udW1iZXIpIHsKICAgIGlmIChjcj09MTEpIHsKICAgICAgICByZXR1cm47CiAgICB9CiAgICBpZiAoaXNMdWNreShuZXdfbnVtYmVyKSYmbmV3X251bWJlcj49cikgewogICAgICAgIGFucz1taW4oYW5zLG5ld19udW1iZXIpOwogICAgICAgIHJldHVybjsKICAgIH0KCgogICAgZ2VuaGVscGVyKG4sY3IrMSxuZXdfbnVtYmVyKjEwICsgNCApOwogICAgZ2VuaGVscGVyKG4sY3IrMSxuZXdfbnVtYmVyKjEwICsgNyApOwp9Cgp2b2lkIGdlbmhlbHBlcjIoaW50IGNyLCBsbCBuZXdfbnVtYmVyKSB7CiAgICBpZiAoY3IgPT0gMTEpIHsKICAgICAgICByZXR1cm47CiAgICB9CgogICAgaWYgKG5ld19udW1iZXIgPiByKSB7CiAgICAgICAgcmV0dXJuOwogICAgfQoKICAgIGlmIChuZXdfbnVtYmVyID4gMCkgewogICAgICAgIGFucyA9IG1heChhbnMsIG5ld19udW1iZXIpOwogICAgfQoKICAgIGdlbmhlbHBlcjIoY3IgKyAxLCBuZXdfbnVtYmVyICogMTAgKyA0KTsKICAgIGdlbmhlbHBlcjIoY3IgKyAxLCBuZXdfbnVtYmVyICogMTAgKyA3KTsKfQp2b2lkIGdlbihpbnQgbiAsaW50IGxlbixpbnQgY3IsbGwgbmV3X251bWJlcikgewogICAgaWYgKGNyPT1sZW4pIHsKICAgICAgICBib29sIGZvdW5kPTA7CiAgICAgICAgaWYgKG5ld19udW1iZXI+PWwmJm5ld19udW1iZXI8PXIpIHsKICAgICAgICAgICAgZm91bmQ9MTsKICAgICAgICAgICAgc3VtKz0obmV3X251bWJlci1sKSpuZXdfbnVtYmVyK25ld19udW1iZXI7CiAgICAgICAgICAgIGw9bmV3X251bWJlcisxOwogICAgICAgIH0KCiAgICAgICAgcmV0dXJuOwogICAgfQogICAgZ2VuKG4sbGVuLGNyKzEsbmV3X251bWJlcioxMCArIDQgKTsKICAgIGdlbihuLGxlbixjcisxLG5ld19udW1iZXIqMTAgKyA3ICk7Cn0KCnZvaWQgc29sdmUoKSB7CiAgICBhbnM9MCxzdW09MDsKICAgIGNpbj4+bD4+cjsKICAgIGdlbmhlbHBlcjIoMCwwKTsKICAgICBsYXN0PWFuczsKICAgIGFucz1MTE9OR19NQVg7CiAgICBnZW5oZWxwZXIoMCwwLDApOwogICAgZm9yIChpbnQgaSA9MTtpPD0xMDtpKyspIHsKICAgICAgICBnZW4oMCxpLDAsMCk7CiAgICB9CiAgICBpZiAobD5sYXN0ICYmICFpc0x1Y2t5KHIpKSB7CiAgICAgICAgc3VtKz0oci1sKzEpKmFuczsKICAgIH0KICAgIGNvdXQ8PHN1bTw8ZW5kbDsKCn0KaW50IG1haW4oKQp7CiAgICBpb3M6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSk7CiAgICBjaW4udGllKG51bGxwdHIpOwoKICAvLyBmaWxlaW8oKTsKCiAgICBpbnQgdCA9IDE7CiAgICAvL2NpbiA+PiB0OwogICAgd2hpbGUgKHQtLSkKICAgIHsKICAgICAgICBzb2x2ZSgpOwogICAgfQp9Cg==