#include <stdio.h>

int main()
{
  float x, tax = 0;
  scanf("%f", &x);
  if (x > 2000) tax = (x - 2000)*0.05;
  printf("tax = %f\n", tax);
  return 0;
}