unittest
{
	assert( [ "7" ].parse.expand.solve == 2 );
	assert( [ "149696127901" ].parse.expand.solve == 27217477801 );
}



import std.conv;
import std.range;
import std.stdio;
import std.typecons;

void main()
{
	stdin.byLineCopy.parse.expand.solve.writeln;
}

auto parse( Range )( Range input )
if( isInputRange!Range && is( ElementType!Range == string ) )
{
	auto x = input.front.to!( long );
	return tuple( x );
}

auto solve( long x )
{
	auto ans = x / ( 6 + 5 ) * 2;		// 6と5を交互に使ったときの回数（余りの分含まない）
	if( x % ( 6 + 5 ) <= 6 ) ans += 1;		// 余りの分を加算（6だけで済む場合）
	else                     ans += 2;		// 余りの分を加算（6と5の場合）
	
	return ans;
}
