HASH(0x7f5cd50beef8)