HASH(0x7fedd6edb868)