Snuke has a favorite restaurant.  The price of any meal served at the restaurant is 800 yen (the currency of Japan), and each time a customer orders 15 meals, the restaurant pays 200 yen back to the customer.  So far, Snuke has ordered N meals at the restaurant. Let the amount of money Snuke has paid to the restaurant be x yen, and let the amount of money the restaurant has paid back to Snuke be y yen. Find x-y.
N = int(input())
p = 1
for i in range(1, N + 1):
    p = (i*p) % (10**9 + 7)

print(p)
n = int(input())
x = 800*n
y = 200*(n//15)
print(x-y)