#include<stdio.h> int main(){ int n; double s; scanf("%d",&n); s=95*n; if(s>=300) s*=0.85; printf("%.2lf",s); return 0; }