HASH(0x7f5cedecd3f0)