// util.js
// Few commonly used routines in JavaScript.