function main(S) {
  S = S.replace(/\r?\n/g,' ').split('');
  let topping = 0;
  let food = 700;
  if(S[0] === 'o') ++topping;
  if(S[1] === 'o') ++topping;
  if(S[2] === 'o') ++topping;

  console.log(food+(100*topping));
}

main(require("fs").readFileSync("/dev/stdin", "utf8"));
