HASH(0x7c4dc51a87c0)