HASH(0x7fedede7bdf0)