HASH(0x7f5cedf17e00)