HASH(0x7f5d0c23d7f8)