HASH(0x7f5cd0a42d80)