HASH(0x7fedc25b09c0)