HASH(0x42ce730)