#include<iostream> int main(){ float n; scanf("%f",&n); if(n<=10) printf("%.1f",2*n); if(n>10) printf("%.1f",2*n/10*9); return 0; }