HASH(0x7f5c99fc78d8)