Added some stuff to util.js