added js8ri.util