题目描述

给定一个字符串 $S$。$S$ 中的每个字符都是数字（0 $\sim$ 9）或 ?。

在通过用数字替换每次出现的 ? 而获得的整数中，当除以 $13$ 时有多少个余数为 $5$？整数可以以 $0$ 开头。

由于答案可能非常巨大，因此输出是要模 $10^{9} + 7$。

输入格式

一个字符串 $S$，长度不超过 $10^5$。

输出格式

满足条件的整数的个数，模 $10^9 + 7$。

??2??5

768

?44

1

7?4

0

?6?42???8??2??06243????9??3???7258??5??7???????774????4?1??17???9?5?70???76???

153716888