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