HASH(0x7fedc26b42b8)