HASH(0x7f5ce8fb08d8)