HASH(0x7f5ce112f800)