说明

商场购物打折。如果购物在10000元以上(包含10000)，打7.5折；购物在8000元以上(包含8000)，打8折；购物在6000元以
上(包含6000)，打8.5折；购物在4000元以上(包含4000)，打9折；购物在2000元以上(包含2000)，打9.5折；否则不打折

输入格式

一行一个整数

输出格式

应付的钱数，保留2位小数

样例

10050

7537.50