HASH(0x7f5ce314c6d0)