b;main(a){scanf("%d",&a);b=!printf("%f",a*3.5);}