HASH(0x7f5cac30e0f0)