HASH(0x7fee0afebad0)