HASH(0x7f5cf57c14b8)