HASH(0x7fedc26b8d10)