#include<stdio.h>
int main()
{
    char s[3];
    int i,d=700;
    for(i=0;i<3;i++){
        scanf("%c",&s[i]);
        if(s[i]=='o'){
        d=d+100;
        }
    }
    printf("%d\n",d);
    return 0;
}
