HASH(0x7fedfc50e5c8)