print(3.5 * int(input()))