#include <stdio.h>

int main(void){
	int no;
	double x;
	scanf("%d",&no);
	x=(no-100)*0.9;
	printf("%5.1f\n",x);
	return 0;
}