HASH(0x7f5cacac75e0)