import std.stdio;

void main() {
    long n; readf("%s\n", &n);
    writeln(2 * (n/3 + n/5));
}