HASH(0x7f5cf8ae4d10)