HASH(0x7fedc65f0db8)