HASH(0x7f7abcbbbbe0)