HASH(0x76107e7d5b60)