HASH(0x7c4dce0303f0)