HASH(0x7f5cac8ec7e8)