print((int)(input())*3.5)