javascript library of auxiliary functions