Everybody knows that lucky numbers are positive integers that contain only lucky digits 4 and 7 in their decimal representation. For example, numbers 47, 744, 4 are lucky and 5, 17, 467 are not.

Polo the Penguin have two positive integers l and r (l<r), both of them are lucky numbers. Moreover, their lengths (that is, the number of digits in the decimal representation without the leading zeroes) are equal to each other.

Let's assume that n is the number of distinct lucky numbers, each of them cannot be greater than r or less than l, and a_i is the i-th (in increasing order) number of them. Find a₁·a₂+a₂·a₃+...+a_n-1·a_n. As the answer can be rather large, print the remainder after dividing it by 1000000007 (10⁹+7).