coe[8][4]={
{720,360,360,180},//-bcde-
{360,180,120,60},//-bcdd-
{360,180,180,90},//-bccd-
{120,60,30,15},//-bccc-
{360,120,180,60},//-bbcd-
{180,60,60,20},//-bbcc-
{120,30,60,15},//-bbbc-
{30,6,6,1}//-bbbb-
};
long a;i1,i2,i3,i4,f;
main(S){
	scanf("%d.%d",&i1,&i2);S=i1*4+i2/25;
	for(i1=0;i1<=100;i1++)for(i2=i1;i2<=100;i2++)for(i3=i2;i3<=100;i3++)for(i4=i3;i4<=100;i4++)if(i1+i2+i3+i4==S){
		f=(i1==i2)*4|(i2==i3)*2|i3==i4;
		a+=coe[f][0]*i1*(100-i4);	//端はタブらないやつ
		a+=coe[f][1]*(100-i4);	//左端だけダブルやつ
		a+=coe[f][2]*i1;	//右端だけダブルやつ
		a+=coe[f][3];	//両方ダブルやつ
	}
	a=!printf("%ld",a);
}