HASH(0x7fedd07c7a70)