# -*- coding: utf-8 -*-

if __name__ == '__main__':
    print(int(input()) * 3.5)