#include<stdio.h> int main() { int h; scanf("%d", &h); float weight; weight = (h - 100) * 0.9 * 2; printf("%.1f", weight); }