HASH(0x7f5cda01f8f8)