HASH(0x7fee038786f0)