HASH(0x7fedce5a5da8)