HASH(0x7f5c99e5de00)