HASH(0x7f5ce104b7b0)