function Main (input) {
  const inputs = input.split(/\s/g)[0];
  const base = 700;
  const mached = inputs.match(/o/g);
  const total = base + (mached ? mached.length * 100 : 0);
  
  console.log('%s', total);
}

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