#include <stdio.h>
int main(){
    int N;
    scanf("%d",&N);
    printf("%f\n",3.5*N);
}