import std.algorithm, std.container, std.conv, std.math, std.range, std.typecons, std.stdio, std.string;

auto rdsp(){return readln.splitter;}
void pick(R,T)(ref R r,ref T t){t=r.front.to!T;r.popFront;}
void readV(T...)(ref T t){auto r=rdsp;foreach(ref v;t)pick(r,v);}

void main()
{
  long x; readV(x);

  auto ans = x/11*2, m = x%11;
  if (m >= 1 && m <= 6) ++ans;
  else if (m > 6) ans += 2;

  writeln(ans);
}
