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