S = gets.chomp

list = S.size.times.reduce([S]) do |l, i|
  if S[i] == '?'
    l = l.map do |s|
      '0'.upto('9').map { |d| s[0...i] + d + s[i+1..-1] }
    end
  end
  l.flatten
end

puts (list.reduce(0) do |count, s|
  s.to_i % 13 == 5 ? count + 1 : count
end)