HASH(0x7c4dc5fe18d0)