how many digits in 2^10000