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())
ans = 1
mod = (10 ** 9 + 7)
for i in range(1,N + 1):
    ans *=  i 
ans %= mod
print(ans)
N = int(input())
print(800 * N - (N // 15) * 200)