#include<stdio.h>
#include<string.h>
int main()
{
    char s[3];
    int i,count=0;
    gets(s);
    for(i=0;i<3;i++)
    {
    if(s[i]=='o')
    count++;

    }
    printf("%d\n",700+100*count);
    return 0;
}
