HASH(0x7f5cd6af87d0)