#include <stdio.h>
int main()
{
    int i, c=0;
    char S[10];

    gets(S);
    for(i=0; i<3; i++)
    {
        if(S[i]=='o')
            c++;
    }
    printf("%d\n", 700+c*100);

    return 0;
}
