HASH(0x7f5cc428de68)