HASH(0x7fedc25dcd58)