小飞自从看了厂长s7的id之后就对7有了异常的兴趣，他希望用糖果来换任何跟7有关的东西。 有一天，pubgoso得到了两个序列{1,2,3...n }，{1,2,3.....m}，他现在知道：各从每个序列拿出一个数得到的有序对，如果x+y是7的倍数的话，那么这个有序对就是好的有序对，而一个好的有序对就可以到小飞那里换取t个糖果，眼看就要到圣诞节了，pubgoso希望换取更多的糖果给他的弟弟们吃，但是由于太多了，他有点数不过来了，你能帮助他回答这个问题吗？
输入描述:
输入仅一行，三个数分别代表 n,m,t；
数据约定 1 ≤ n,m,t ≤50000；
输出描述:
输出一行仅一个数，代表最大糖果的数量，由于答案很大，你要对1000000007取模。
示例1
说明
(1,6),(2,5),(3,4),(4,3),(5,2),(6,1) 六个好的有序对，每个有序对价值一个糖果，答案为6