HASH(0x7f5ce827fce0)