HASH(0x7c4d8dff42b0)