HASH(0x7f5cf44e0b28)