HASH(0x7c4dc5f580d0)