function main (input) {
	var price = 700;
	var input = input.split('');
	var count = 0;

	for (var i = 0; i < input.length; i++) {
		if (input[i] === 'o') {
			count++
		}
	}
	console.log(700 + 100 * count);

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