HASH(0x7f5ccceb31b0)