(2^4123)!