# -*- coding: utf-8 -*-
n=gets.to_f
m=n*6
puts (n+m)/2