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