HASH(0x7f5cde51a1d0)