#include<stdio.h>
void main()
{
	int a,b,temp;
	long sum=0;
	while(scanf("%d%d",&a,&b),a!=0){
		sum=0;
		while(a--){
		    scanf("%*s%d",&temp);
		    sum+=temp;	
		}
		printf("%ld\n",b*3-sum);
	}
}