#include <stdio.h> int main(void) { double input; scanf("%lf", &input); printf("%d", (int)(input*1087.7626+0.5)); return 0; }