HASH(0x7f5c942e83b8)