#include #include #include #include int main() { long int t; int a,b,c; scanf("%d%d%ld",&a,&b,&t); c=(0.5*a*t+0.5*b*t); c=c%(1000000007); printf("%d",c); return 0; }