#include<iostream>
#include<fstream>
using namespace std;
int main()
{
    const int MOD_1=1e9+7;
    const int MOD_2=1e9+9;
    const int OSN_1=29;
    const int OSN_2=31;
    int hashWord_1=0;
    int hashWord_2=0;
    int hashText_1=0;
    int hashText_2=0;
    ifstream input;
    ofstream output;
    input.open("string.in");
    output.open("string.out");
    string A,B,R,C;
    int K;
    input>>A>>B>>R>>C>>K;
    string f,s,c;
    f=A;
    s=B;
    string text;
    if(K==1)
    {
        text=f;
    }
    int n=R.size();
    for(int i=2; i<K; i++)
    {
        c="";
        for(int j=0; j<n; j++)
        {
            if(R[j]=='X')
            {
                c+=f;
            }
            else
            {
                c+=s;
            }
        }
        f=s;
        s=c;
    }
    if(K!=1)
    {
        text=s;
    }
//Rabin Carp
    n=C.size();
    int k_1=1,k_2=1;
    for(int i=0;i<n;i++){
        hashWord_1=(hashWord_1*OSN_1+C[i])%MOD_1;
        hashWord_2=(hashWord_2*OSN_2+C[i])%MOD_2;
        hashText_1=(hashText_1*OSN_1+text[i])%MOD_1;
        hashText_2=(hashText_2*OSN_2+text[i])%MOD_2;
        if(i!=n-1){
        k_1=(k_1*OSN_1);
        k_2=(k_2*OSN_2);
        }
    }
    long long m=text.size();
    long long ans=0;
    if(hashWord_1==hashWord_1 and hashWord_2==hashText_2){
        ans++;
    }
    for(long long i=n;i<m;i++){
        long long newhash_1=hashText_1;
        newhash_1-=text[i-n]*k_1;
        newhash_1+=MOD_1;
        newhash_1%=MOD_1;
        newhash_1*=OSN_1;
        newhash_1%=MOD_1;
        newhash_1=newhash_1+text[i];
        newhash_1%=MOD_1;
        long long newhash_2=hashText_2;
        newhash_2-=text[i-n]*k_2;
        newhash_2+=MOD_2;
        newhash_2%=MOD_2;
        newhash_2*=OSN_2;
        newhash_2%=MOD_2;
        newhash_2=newhash_2+text[i];
        if(newhash_1==hashWord_1 and newhash_2==hashWord_2){
            ans++;
            ans%=1000000009;
        }
        hashText_1=newhash_1;
        hashText_2=newhash_2;
    }
    output<<ans;
    input.close();
    output.close();
    return 0;
}