HASH(0x7c4d50080c40)