HASH(0x7f5c920b95b0)