#include<stdio.h>
int main()
{
int a;
scanf("%d",&a);
printf("%d",((a/12)*50)+((a%12)*5));
return 0;
}