HASH(0x7f5cecfe23a0)