#!/usr/bin/python
# -*- coding: utf-8 -*-

N = int(raw_input())
print 16 * N / 15