#include <stdio.h>

int main(void) {
	int n, dozen, money;
	scanf("%d", &n);
	dozen = n / 12;
	n = n % 12;
	money = dozen * 50 + n * 5;
	printf("%d", money);
	return 0;
}