HASH(0x7f5cda50f2b8)