HASH(0x7f5ce05e44d0)