JU ) l0 ) ^ (ti