#include<bits/stdc++.h>
using namespace std;

int main(void){
    double dp[50101];
    fill(dp, dp+5001, 1<<29);
    dp[0]=0;
    for(int i=200; i<=5000; i++){
        dp[i]=dp[i-200]+380;
        if(i>=300)  dp[i]=min(dp[i], dp[i-300]+550);
        if(i>=500)  dp[i]=min(dp[i], dp[i-500]+850);
        if(i>=1000) dp[i]=min(dp[i], dp[i-1000]+380*5*0.8);
        if(i>=1200) dp[i]=min(dp[i], dp[i-1200]+550*4*0.85);
        if(i>=1500) dp[i]=min(dp[i], dp[i-1500]+850*3*0.88);
    }
    
    while(true){
        int num;
        cin >> num;
        if(num==0) break;
        cout << dp[num] << "\n";
    }
}

