let i = require('fs').readFileSync('/dev/stdin', 'utf8').split('\n')[0]
console.log(3.5 * i)