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