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