#include <cstdio>
int main(){
    int N;
    scanf("%d",&N);
    printf("%.2lf\n",3.5*N);
    return 0;
}