#include <stdlib.h>
#include <stdio.h>
int main(){
int n,i,j;
while(scanf("%d",&n)!=EOF)
{
if(n<12)
printf("%d",n*5);
else if(n>12)
j=n/12;
i=n%12;
printf("%d",j*50+i*5);
}
return 0;