HASH(0x7f710cda4280)