HASH(0x7fedce6547a0)