HASH(0x7f5cacdd4dd0)