import strutils
let n = stdin.readLine.parseFloat

echo 3.5 * n