HASH(0x7f5cccfa48f0)