HASH(0x7f5d02bfe2e0)