HASH(0x7f5cdd0ae1f0)