HASH(0x78c39e63cf18)