HASH(0x7f5cac582af0)