HASH(0x7f5cde2904e8)