HASH(0x7f5ceeb17f48)