正整数 $n$ に対して $n^{10n}$ を $31$ で割ったあまりを $f(n)$ としたとき， $$\sum_{k=1}^{12000} f(k)$$ の値を求めてください．
半角英数字で回答してください．
