HASH(0x7f5cb25eb4b0)