#include <bits/stdc++.h>
using namespace std;

int n, t = 8;
char ch;

int main(){
	scanf("%d%c", &n, &ch);
	if (n > 1000){
		n -= 1000;
		t += (n / 500) * 4;
		if (n % 500 != 0)
			t += 4;
	}
	if (ch == 'y')
		t += 5;
	printf("%d", t);
	return 0;
}