HASH(0x7f5d04edb0f0)