HASH(0x7f5cc25f42c0)