HASH(0x7f5cbc0ef3d0)