HASH(0x7fedfc065ff8)