sum (10000*2^k), k=0 to 12