HASH(0x7f5cacc20bb8)