#include<stdio.h>
int x,i=0;
char c;
int main()
{
	scanf("%d %c",&x,&c); 
	if(c=='y'){
		i+=5;
	}
	if(x<=1000){
		printf("%d",i+8);
	}else{
		if(x%500!=0){
			x=(x-1000)/500+1;
		}
		else{
			x=(x-1000)/500;
		}
	}
	printf("%d",i+4*x+8); 
	return 0;
}