HASH(0x7f5cf4ea4c38)