HASH(0x7fedfc3982b0)