#include <stdio.h>

int main (){

    int N = 0 ;
    int total = 0;
    int resto = 0;

    scanf("%d",&N );

    total = N * 800;

    resto = N / 15;

    printf("%d\n",total - (resto*200));

return 0;
}
