#include<stdio.h>

int main(){
    int n;
    scanf("%d",&n);
    printf("%0.2f\n",n*3.5);
    return 0;
}