HASH(0x7f5cfc0f25e8)