HASH(0x7fee08597bb8)