const s = require("fs").readFileSync(0, "utf8").toString().trim();
const dial = [3,3,3,4,4,4,5,5,5,6,6,6,7,7,7,8,8,8,8,9,9,9,10,10,10,10];
let t = 0;
for(let i=0; i<s.length;i++){
    t += dial[s[i].charCodeAt()-65];
}
console.log(t);