7383: 字符串游戏
[Creator : ]
Description
给定一个字符串，每个字符为 $0 \sim 9$ 或者 ? 构成。可以把 ? 用 $0 \sim 9$ 的数字代替，这样可以得到一个完整的数字。
例如字符串 9?2，我们可以得到 902, 912, 922, 932, 942, 952, 962, 972, 982, 992。
对于所有通过这种方式得到的数，有多少个数除以 13 余数是 5？
例如字符串 9?2，我们可以得到 902, 912, 922, 932, 942, 952, 962, 972, 982, 992。
对于所有通过这种方式得到的数，有多少个数除以 13 余数是 5？
Input
一行一个字符串。
Output
一个整数，表示答案。由于答案会比较大，数据对 $10^9+7$ 取余。
Constraints
字符串的长度不会超过 $8 \times 10^5$。
保证输入合法。
保证输入合法。
Sample 1 Input
2??23
Sample 1 Output
8
Sample 2 Input
?
Sample 2 Output
1
Sample 3 Input
1?
Sample 3 Output
1
?????????????
230763848