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
mod=10**9+7

for i in range(1,N+1):
    p = (p*i)%mod

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