#include <stdio.h>
#include <string.h>

int main()
{
    char ch[20];
    int i,price,count1=0;
    gets(ch);

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


    return 0;
}
