HASH(0x7f5cce1f12a0)