#include <stdio.h>
int main(){
    int N, i;
    
    scanf("%11d", &N);
    long long cnt = 0;
    
    for(i = 1; i <=15; i++){
        if((1%3 == 0 && i%5 == 0) || i%3 == 0 || i%5 == 0){
        } else {
            cnt = cnt + i;
        }
    }   

    printf("%lld", cnt);
    
}
