function main(input) {
  var value = 700;
  if (!(input.match(/o/g) === null)) {
    value += input.match(/o/g).length * 100;
  }
  console.log(value);
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));