HASH(0x7f5cfa4a32d0)