HASH(0x7fa8ee543ed8)