//No.57 ミリオンダイス

const lines = require('fs')
  .readFileSync('/dev/stdin', 'utf-8')
  .trim().split('\n').values();

const N = Number(lines.next().value);

console.log(N * 3.5);