#include<iostream> int main(){ int a; double b; scanf("%d",&a); if(a>10) b=a*2.0*0.9; else b=a*2.0; printf("%.1lf",b); return 0; }