(3*\sum\limits_{k=0}^3 ((1507 choose k)(-1)^(1507-k)10^k)) mod 10^4