1 * 10112 !)