Javascript utility functions for minified.js