#include<stdio.h>

main(){
  int N,M,i,j;
  int DP[100000][2];
  int tmp;
  int ans;
  while(1){
    ans = 0;
    scanf("%d%d",&N,&M);
    
    if(N==0 && M==0)break;
    for(i=0;i<N;i++){
      scanf("%d%d",&DP[i][0],&DP[i][1]);
    }
    for(i=0;i<N;i++){
      for(j=N-1;j>i;j--){
	if(DP[j][1] > DP[j-1][1]){
	  tmp = DP[j][1];
	  DP[j][1] = DP[j-1][1];
	  DP[j-1][1] = tmp;
	  tmp = DP[j][0];
	  DP[j][0] = DP[j-1][0];
	  DP[j-1][0] = tmp;
	}
      }
    }
    for(i=0;i<N;i++){
      for(j=0;j<DP[i][0];j++){
	if(M <= 0){
	  ans += DP[i][1];
	}
	M--;
      }
    }
    //printf("\n");
    printf("%d\n",ans);
  }
 // printf("\n");
  return 0;
}
      