#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>
#include <math.h>
int main(void)
{
    float dice;
    scanf("%f",&dice);
    printf("%.0f",dice*3.5);
}