HASH(0x76107eb80630)