HASH(0x7fedce5f6630)