HASH(0x7f5ce042a250)