HASH(0x7f3881d8c0d0)