题目背景

杭州人称那些傻乎乎粘嗒嗒的人为 62（音：laoer）。杭州交通管理局经常会扩充一些的士车牌照。新近出来一个好消息，以后上牌照，不再含有不吉利的数字了。这样一来，就可以消除个别的士司机和乘客的心理障碍，更安全地服务大众。

题目描述

不吉利的数字为所有含有数字 $4$ 或连续数字 $62$ 的号码。例如，$62315$、$73418$、$88914$ 都属于不吉利号码，而 $61152$ 虽然含有 $6$ 和 $2$，但不是连续的 $62$，因此不属于不吉利数字。

你的任务是，对于每次给出的一个牌照区间 $[n,m]$，推断出交管局今次又要实际上给多少辆新的士车上牌照。

输入格式

一行，两个整数 $n$ 和 $m$，表示牌照区间。

输出格式

输出一行一个整数，表示区间 $[n,m]$ 内符合要求的车牌号码数量。

样例

1 100

80

数据范围与提示

• 对于 $60\%$ 的数据：$1 \le n \le m \le 10^6$。
• 对于 $100\%$ 的数据：$1 \le n \le m \le 10^9$。