#include<stdio.h>
int main(){

    char s[3];
    int i,d,sum=0,count=0;
    for(i=0;i<3;i++){
        scanf("%c",&s[i]);
        if(s[i]=='o'){
            count++;
        }
        else{
            sum++;
        }

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



}
