HASH(0x7f5ce414d6c0)