import strutils,sequtils
let N = stdin.readline.parsefloat
echo N * 3.5