HASH(0x7fedce5e61c8)