HASH(0x7f87ba61fe40)