#!/usr/bin/env python3
#fileencoding: utf-8

print(int(input())*3.5)