HASH(0x7fedd2644fd0)