HASH(0x7f5cdd1ca2b0)