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