#include<bits/stdc++.h>
using namespace std;
int main(){
	int n,r=0;
    char m;
    cin>>n>>m;
    if (n<=1000) r=8;
    if (n>1000){
        n-=1000;
        while (n>0){
            n-=500;
            r+=4;
        }
        r+=8;
    }
    if (m==121) r+=5;
    cout<<r<<endl;
	return 0;
}//if.