#include<bits/stdc++.h>
using namespace std;
int main(){
string s,t;
while(getline(cin,s)){
if(s == "#") break;
getline(cin,t);
int ls = s.length();
int lt = t.length();
map<char,int> mp;
for(int i = 0; i < lt; i++) mp[t[i]]++;
for(int i = 0; i < l...