import strutils echo(stdin.readline.parseFloat * 3.5)