HASH(0x7f5ce25447b0)