HASH(0x7f5cbc142cd8)