#include <iostream>
#include <algorithm>
#include <vector>
#include <set>
#include <math.h>
#include <map>
#include <numeric>
using namespace std;
typedef long long int ll;

int main(){
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	while(1){
		int n,m; cin >> n >> m;
		if(n==0&&m==0)break;
		vector<pair<int,int>> v;
		for(int i=0;i<n;i++){
			int x,y; cin >> x >> y;
			v.push_back({y,x}); 
		}
		sort(v.rbegin(),v.rend());
		int ans=0;
		for(int i=0;i<n;i++){
			if(m>=v[i].second){
				m-=v[i].second;
			}
			else{
				v[i].second-=m;
				m=0;
				ans+=v[i].first*v[i].second;
			}
		}
		cout << ans << endl;
	}
}
