HASH(0x7f5ccea0f7d8)