#include<stdio.h>

int raidCnt(int,int);

int main(){
	
	while(1){
		
		int i,j,n,m,raidSum=0,a,b;
		int d[10000],p[10000];
		
		scanf("%d %d",&n,&m);
		
		if(n==0&&m==0)break;
		
		for(i=0;i<n;i++){
			scanf("%d %d",&d[i],&p[i]);
			raidSum+=raidCnt(d[i],p[i]);
		}
		
		for(i=0;i<n;i++)
			for(j=0;j<n;j++){
				if(p[j]<p[j+1]){
					a=p[j];
					p[j]=p[j+1];
					p[j+1]=a;
					b=d[j];
					d[j]=d[j+1];
					d[j+1]=b;
				}
			}
		
		for(i=0;;i++){
			for(j=0;j<d[i];j++){
				raidSum-=p[i];
				m--;
				if(m==0)break;
			}
			if(m==0)break;
		}
		printf("%d",raidSum);
	}
	
	return 0;
}

int raidCnt(int d,int p){
	return d*p;
}