M[100],i,j,h,s;
char N[901],B[9/**/];
main(n,m){
	for(;scanf("%d%d",&n,&m)*n;printf("%d \n",s)){
		for(i=0;i<n;i++)
			scanf("%s%d",N+9*i,M+i),N[9*i+8]=' ',N[9*i+9]=0;
		for(s=0;m--;){
			scanf("%s",B);
			for(i=0;i<8;i++){
				char*p=strstr(N,B);
				if(p)
					s+=M[(p-N)/9];
				B[i]='*';
			}
		}
	}
}