HASH(0x76101de43c70)