#include<cstdio>
int main(){
double a,c;
char b;
scanf("%d %c",&a,&b);
if(a<=1000&&b=='n'){
printf("8");
}if(a>1000&&b=='n'){
c=(int)((a+499)/500)*4;
printf("%f",c);
}if(a<=1000&&b=='y'){
c=8+5;
}if(a>1000&&b=='y'){
c=(int)((a+499)/500)*4+5;
}
return 0; }