On the planet Mars a year lasts exactly n days (there are no leap years on Mars). But Martians have the same weeks as earthlings — 5 work days and then 2 days off. Your task is to determine the minimum possible and the maximum possible number of days off per year on Mars.

Input

The first line of the input contains a positive integer n (1 ≤ n ≤ 1 000 000) — the number of days in a year on Mars.

Output

Print two integers — the minimum possible and the maximum possible number of days off per year on Mars.

Examples

Input

14


Output

4 4


Input

2


Output

0 2

Note

In the first sample there are 14 days in a year on Mars, and therefore independently of the day a year starts with there will be exactly 4 days off .

In the second sample there are only 2 days in a year on Mars, and they can both be either work days or days off.
"""

http://codeforces.com/contest/670/problem/A

On the planet Mars a year lasts exactly n days (there are no leap years on Mars). But Martians have the same weeks as earthlings — 5 work days and then 2 days off. Your task is to determine the minimum possible and the maximum possible number of days off per year on Mars.

(assuming that the days on and days off are consecutive and they can't be combined out of order)

one year = n days
one week = 7 days
one week = 2 days off + 5 days on 

max(days off) in one year = ?
min(days off) in one year = ?

n is variable

week = WWWWWOO

max(days off) in one year = start on off day 1
min(days off) in one year = start on work day 1

###

year length = n days
maximum days off week schedule = OOWWWWW
min days off week schedule = WWWWWOO

make year of n length with desired schedule:
make a blank list to hold the days
set index to 0
for each day in the year
add the day from the week schedule that corresponds with the index
add 1 to the index
if the index is 6, redefine the index as 0
when done, return amount of days off in year schedule

minimum days is (make year of n length with min days off)
maximum days is (make year of n length with max days off)

"""

n = int(input(''))

max_off = 'OOWWWWW'
min_off = 'WWWWWOO'

def make_year(year, schedule):
	days = ''
	index = 0
	for day in range(year):
		days += schedule[index]
		index += 1
		if index == 7:
			index = 0

	return days.count('O')

print(make_year(n, min_off), make_year(n, max_off))