print(int(input()) // 1000000007)