HASH(0x7c4dd1152ba8)