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