HASH(0x7f5cac19fc18)