#include <bits/stdc++.h>
using namespace std;

const long long MOD = 1000000007;

typedef long long ll; // -9,223,372,036,854,775,808 から 9,223,372,036,854,775,807

template <class T> using vec = std::vector<T>;
template <class T> using vec2 = vec<vec<T>>;
template <class T> using vec3 = vec<vec<vec<T>>>;

#define DEBUG

struct GCDResult{long long x; long long y; long long res;};
GCDResult gcd(long long a, long long b){
    if(a < 0){
        auto sub = gcd(-a, b);
        return GCDResult{-sub.x, sub.y, sub.res};
    }
    if(b < 0){
        auto sub = gcd(a, -b);
        return GCDResult{sub.x, -sub.y, sub.res};
    }
    if(a < b){
        auto sub = gcd(b, a);
        return GCDResult{sub.y, sub.x, sub.res};
    }
    // a >= b AND a >= 0 AND b >= 0
    if(b == 0){
        return GCDResult{1LL, 0LL, a};
    }
    // a >= b AND a > 0 AND b > 0
    auto sub = gcd(b, a % b);
    return GCDResult{sub.y, sub.x - sub.y*(a/b), sub.res};
}

// Requires ATC_GCD
const int COM_MAX = 510000;
template <long long p>
class Zp{
    long long content;

    // for comb()
    static array<long long, COM_MAX> fac;
    static array<long long, COM_MAX> finv;
    static array<long long, COM_MAX> inv_;
    static bool is_initialized_com_table;

    // By rng_2 (See https://drken1215.hatenablog.com/entry/2018/06/08/210000)
    // テーブルを作る前処理
    static void COMinit() {
        auto MOD = p;
        auto MAX = COM_MAX;
        fac.at(0) = fac.at(1) = 1;
        finv.at(0) = finv.at(1) = 1;
        inv_.at(1) = 1;
        for (int i = 2; i < MAX; i++){
            fac.at(i) = fac.at(i - 1) * i % MOD;
            inv_.at(i) = MOD - inv_.at(MOD%i) * (MOD / i) % MOD;
            finv.at(i) = finv.at(i - 1) * inv_.at(i) % MOD;
        }
        is_initialized_com_table = true;
    }

    // 二項係数計算
    static long long COM(int n, int k){
        auto MOD = p;
        auto MAX = COM_MAX;
        if(!is_initialized_com_table){
            assert(false);
        }
        if (n < k) return 0;
        if (n < 0 || k < 0) return 0;
        return fac.at(n) * (finv.at(k) * finv.at(n - k) % MOD) % MOD;
    }



    public:
    Zp(long long content_){
        if(content_ >= 0){
            content = content_ % p;
        }else{
            long long temp = p;
            while(temp < -content_){
                temp *= p;
            }
            content = (temp + content_) % p;
        }
    }

    bool operator==(const Zp<p>& rhs) const{
        return this->content == rhs.content;
    }

    bool operator!=(const Zp<p>& rhs) const{
        return !(*this == rhs);
    }

    Zp<p> operator+(const Zp<p>& rhs) const{
        return Zp<p>(this->content + rhs.content);
    }

    Zp<p> operator-() const{
        return Zp<p>(p - this->content);
    }

    Zp<p> operator-(const Zp<p>& rhs) const{
        return Zp<p>(this->content - rhs.content + p);
    }

    Zp<p> operator*(const Zp<p>& rhs) const{
        return Zp<p>(this->content * rhs.content);
    }

    Zp<p> inv() const{
        if(this->content == 0){
            assert(false);
        }

        auto res = gcd(this->content, p);
        return Zp<p>(res.x);
    }

    Zp<p> operator/(const Zp<p>& rhs) const{
        if(rhs.content == 0){
            assert(false);
        }
        
        return (*this)*rhs.inv();
    }

    Zp<p> pow(int n){
        auto res = Zp<p>(1);
        Zp<p> mult = (*this);
        while(n > 0){
            if(n & 1 == 1){
                res = res*mult;
            }
            n >>= 1;
            mult = mult*mult;
        }
        return res;
    }

    void operator+=(const Zp<p>& rhs){
        *this = *this + rhs;
    }

    long long raw(){
        return this->content;
    }

    static void initializeCom(){
        COMinit();
    }

    static Zp<p> com(int n, int k){
        return Zp<p>(COM(n, k));
    }

};

template <long long p>
bool Zp<p>::is_initialized_com_table = false;
template <long long p>
array<long long, COM_MAX> Zp<p>::fac;
template <long long p>
array<long long, COM_MAX> Zp<p>::finv;
template <long long p>
array<long long, COM_MAX> Zp<p>::inv_;


vec<Zp<MOD>> mult(vec<Zp<MOD>> a, vec<Zp<MOD>> b){
    vec<Zp<MOD>> res(13, Zp<MOD>(0));
    for(int i=0; i < 13; i++){
        for(int j=0; j < 13; j++){
            res.at((i + j) % 13) += a.at(i)*b.at(j);
        }
    }

    return res;
}

void solve(std::string S){
    vec<bool> qs;
    vec<int> digits;
    Zp<13> S1(0);
    Zp<13> pow10(1);
    for(int i=S.size() - 1; i >= 0; i--){
        char c = S.at(i);
        if(c == '?'){
            digits.push_back(0);
            qs.push_back(true);
        }else if('0' <= c && c <= '9'){
            digits.push_back(S.at(i) - '0');
            qs.push_back(false);
        }
        S1 = S1 + Zp<13>(digits.back())*pow10;
        pow10 = pow10 * Zp<13>(10);
    }

    // calc 
    vec<Zp<MOD>> counter(13, Zp<MOD>(0));
    counter.at(0) = Zp<MOD>(1);
    pow10 = Zp<13>(1);
    for(int i=0; i < digits.size(); i++){
        if(qs.at(i)){
            vec<Zp<MOD>> xs(13, Zp<MOD>(0));
            for(int n=0; n < 10; n++){
                xs.at((pow10 * Zp<13>(n)).raw()) += Zp<MOD>(1);
            }
            counter = mult(counter, xs);
        }
        pow10 = pow10 * Zp<13>(10);
    }

    Zp<13> rhs = Zp<13>(5) - S1;

    cout << counter.at(rhs.raw()).raw() << endl;


}

// Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)
int main(){
    std::string S;
    std::cin >> S;
    solve(S);
    return 0;
}


Measured memory_bytes: 1148