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