HASH(0x7f5cd41a85f0)