HASH(0x7f87ba5d21a0)