HASH(0x7fedce5c87b8)