#include <stdio.h>
int main()
{
    int n;
    scanf("%d",&n);
    n *= 1.5;
    printf("%d",n);
}