HASH(0x7f5cecc1cdd0)