#include <iostream>
#include <vector>
#include <cstdio>
#include <map>
#include <algorithm>
#include <functional>
using namespace std;

vector<long long> ans = {601,2985,8915,20700,41796,76170,128305,203145,306731,445530,626460,856830,1144981,1499595,1929755,2444850,3055236,3771540,4604725,5565975,6667391,7921260,9340140,10936740,12724621,14717445,16929095,19373520,22065456,25019670,28251085,31774605,35605871,39760470,44254080,49102290,54321361,59927415,65936615,72364950,79229016,86545200,94329865,102599115,111369611,120657720,130479720,140851560,151789681,163310145,175428875,188161380,201523596,215531010,230198905,245542065,261575651,278314290,295772340,313963590,332902141,352601475,373074755,394334490,416393436,439263660,462956845,487483935,512856071,539083620,566176500,594143820,622994821,652737885,683380895,714930840,747394776,780778830,815088565,850328565,886503431,923616750,961671480,1000669530LL,1040612761LL,1081501935LL,1123337135LL,1166117310LL,1209841296LL,1254506760LL,1300110625LL,1346648595LL,1394116211LL,1442507760LL,1491816720LL,1542035280LL,1593155401LL,1645167705LL,1698061955LL,1751826540LL,1806449556LL,1861917705LL,1918216810LL,1975331310LL,2033245421LL,2091942030LL,2151403230LL,2211609825LL,2272542496LL,2334180660LL,2396503055LL,2459487210LL,2523110616LL,2587349595LL,2652179890LL,2717576100LL,2783512901LL,2849963880LL,2916902130LL,2984299695LL,3052128796LL,3120360630LL,3188966015LL,3257914800LL,3327177096LL,3396722085LL,3466518670LL,3536534850LL,3606739001LL,3677098650LL,3747581130LL,3818152965LL,3888781156LL,3959431920LL,4030071395LL,4100664990LL,4171178676LL,4241577735LL,4311827470LL,4381892520LL,4451738201LL,4521329220LL,4590630390LL,4659605955LL,4728220936LL,4796439810LL,4864227275LL,4931547540LL,4998365676LL,5064646305LL,5130354370LL,5195454390LL,5259911861LL,5323691910LL,5386760070LL,5449081545LL,5510622616LL,5571349260LL,5631227975LL,5690225010LL,5748307776LL,5805443475LL,5861599930LL,5916744780LL,5970846941LL,6023875200LL,6075799050LL,6126587895LL,6176212516LL,6224643630LL,6271852775LL,6317811480LL,6362492736LL,6405869565LL,6447915910LL,6488605770LL,6527914721LL,6565818450LL,6602293650LL,6637317165LL,6670867516LL,6702923400LL,6733464635LL,6762471270LL,6789925116LL,6815808255LL,6840103990LL,6862795920LL,6883869521LL,6903310620LL,6921106350LL,6937244235LL,6951713776LL,6964504890LL,6975608915LL,6985017660LL,6992724996LL,6998725305LL,7003014490LL,7005588990LL,7006447421LL};

int main(){
	int a,b;
	scanf("%d.%d", &a,&b);
	a = (a*100+b)/25;
	cout << ans[min(a, 400-a)] << endl;
	return 0;
}