void main() {
    long x = readln.chomp.to!long;
    long result = x / 11 * 2;
    long r = x % 11;
    if (r > 0) ++result;
    if (r > 6) ++result;
    result.writeln;
}

import std.stdio;
import std.string;
import std.array;
import std.conv;
import std.algorithm;
import std.range;
import std.math;
import std.numeric;
import std.container;
import std.typecons;
import std.ascii;
import std.uni;