#include<bits/stdc++.h>
using namespace std;
int main()
{
	int a,c=8;
	char b;
	scanf("%d%c",&a,&b);
	if(a>1000)
	{
		a-=1000;
		c+=(a/500)*4;
		if(a%500!=0)
		{
			c+=4;
		}
	}
	if(b=='y')
	{
		c+=5;
	}
	printf("%d",c);
	return 0;
}