#include <stdio.h>
int main()
{
	double n;
	scanf("%lf",&n);
	n<3?printf("%.f\n",n):printf("%.f\n",n*5-12);
}