HASH(0x7f5ce01ac6d0)