测试数据来自 system/1922

描述

木姑娘是元月五日生人，所以对于我来说，数字1和5就是love number。这样的说法有点类似于：4和7是lucky number。

一般来说：只有4和7形成的数字都被称作lucky number。前5个lucky number分别为4,7,44,47,74。

现在给出数字n，保证n是一个lucky number。问n是第几个lucky number？

格式

输入格式

第一行一个整数len，表示了整数n的位数

第二行给出n,4<=n<=10^100000.

输出格式

输出一个整数m对1000000007取余后的值，其中m表明n是第m个lucky number.

样例1

样例输入1

4
4747

样例输出1

20

限制

20％的数据，n的长度<=10。
100％的数据，n <= 10^100000。