HASH(0x7f5c942e80d0)