HASH(0x7f5ce80cf6b0)