HASH(0x7f5ccc3d53d0)