HASH(0x7f7abdd5cac0)