HASH(0x7f5cec0af380)