HASH(0x7f5cc08043d0)