HASH(0x7fedc65f0c80)