HASH(0x7fedce678c70)