HASH(0x7f5cccfff4c0)