一本通1052

//qf
#include <bits/stdc++.h>
#define f(i,j,n) for(register int i=j;i<=n;i++)
using namespace std;
typedef long long ll;
inline ll read() {
	ll x=0;
	int f=1;
	char ch=getchar();
	while(!isdigit(ch)) {
		if(ch=='-') f=-1;
		ch=getchar();
	}
	while(isdigit(ch)) x=(x<<1)+(x<<3)+(ch-48),ch=getchar();
	return x*f;
}
int m=read(),money;
char ch=getchar();
signed main() {
	m>1000?money=8+ceil((m-1000)/500.0)*4:money=8;
	if(ch=='y')	money+=5;
    cout<<money<<endl;
	return 0;
}