#include <iostream>
using namespace std;

int main() {
    
   int n,k;
   string s;
   
   cin>>n>>k;
   int i;
   long long sum=0;

   string c[n+1];
   int  a[n+1];
   int  b[6];
   for(i=1;i<=5;i++){
       b[i]=0;
   }
   for(i=1;i<=n;i++){
       cin>>c[i]>>a[i];
       }

       for(i=1;i<=k;i++){
           cin>>s;
           int temp=1;
           while(temp<=n){
               if(s==c[temp]){
                   b[a[temp]]++;
                   }temp++;

           }

       }

       for(i=1;i<=5;i++){
           if(b[i]>0){
           b[i]--;}
       }

       sum=b[1]*2000+b[2]*1000+b[3]*200+b[4]*36+b[5]*6;

       cout<<sum;

      

    return 0;
}
   

我感觉没问题呀