HASH(0x7f87ba5cc5d0)