HASH(0x7f7a95face28)