HASH(0x7fee0c037a18)