i

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