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