#include <bits/stdc++.h>
using namespace std;
int main(){
    int n,k,aaa,s=0;
    cin>>n>>k;
    int c[k+1]{};
    string name,b[n+1]{};
    for(int i=1;i<=n;i++){
        cin>>name>>aaa;
        b[aaa]=name;
    }
    for(int i=1;i<=k;i++){
        cin>>name;
        for(int j=1;j<=n;j++){
            if(name==b[j]){
                if(c[j]==0) c[j]=1;
                else{
                    if(j==1){
                        s+=2000;
                    }
                    else if(j==2){
                        s+=1000;
                    }
                    else if(j==3){
                        s+=200;
                    }
                    else if(j==4){
                        s+=36;
                    }
                    else if(j==5){
                        s+=6;
                    }
                }
            }
        }
    }
    cout<<s;
    return 0;
}