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