HASH(0x7fee08f58b58)