HASH(0x7c4db512c4e0)