//No.57 ミリオンダイス
#include <stdio.h>
int main(void){
    int n;
    scanf ("%d", &n);
    printf ("%d\n",n * 3.5);
}