HASH(0x7fedc821aab0)