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