HASH(0x7fedce5d83f8)