HASH(0x7fedc803edf0)