minified JS from http://javascript-minifier.com/