HASH(0x7fedd65cc5f8)