HASH(0x7f5cbd0e53a0)